def of_be

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/bytes.bend:16

import Base

16# the 16 limbs of a 32-byte big-endian string (SEC 1 OS2IP)
17def of_be(bs: List<&2, U32>) -> List<&2, Nat>:
18  limbs_le(List.reverse(&2, U32, bs))