def to_be

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

import Base

26# the 32-byte big-endian string of 16 limbs (SEC 1 I2OSP)
27def to_be(xs: List<&2, Nat>) -> List<&2, U32>:
28  List.reverse(&2, U32, bytes_le(xs))