src/crypto/secp256k1/bytes.bend checks
raw source on the hub · import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/crypto/secp256k1/bytes.bend as Bytes
1 import
import Base
Definitions
def byte source · line 6 · raw
@+b:U32 -> Nat
def limbs_le source · line 10 · raw
@bs:List<&2, U32> -> List<&2, Nat>
little-endian limbs of little-endian bytes (two bytes per limb)
def of_be source · line 17 · raw
@bs:List<&2, U32> -> List<&2, Nat>
the 16 limbs of a 32-byte big-endian string (SEC 1 OS2IP)
def bytes_le source · line 21 · raw
@xs:List<&2, Nat> -> List<&2, U32>
little-endian bytes of limbs below 2^16
def to_be source · line 27 · raw
@xs:List<&2, Nat> -> List<&2, U32>
the 32-byte big-endian string of 16 limbs (SEC 1 I2OSP)
def has_len source · line 30 · raw
@n:Nat -> @bs:List<&2, U32> -> Bool
def prefix source · line 37 · raw
@n:Nat -> @bs:List<&2, U32> -> List<&2, U32>
def suffix source · line 43 · raw
@n:Nat -> @bs:List<&2, U32> -> List<&2, U32>
def head source · line 49 · raw
@bs:List<&2, U32> -> U32
def tail source · line 54 · raw
@bs:List<&2, U32> -> List<&2, U32>