def i2osp32

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/ecdsa.bend:31

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as CV

31def i2osp32(+x: Nat) -> List<&2, U32>:
32  CV.i2osp(32n, x)