def i2osp32
import bend-collections@1.0.0.0/spec/crypto/secp256k1/ecdsa.bend as Ecdsaimport Base
import bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend as CV
31def i2osp32(+x: Nat) -> List<&2, U32>:
32 CV.i2osp(32n, x)
import bend-collections@1.0.0.0/spec/crypto/secp256k1/ecdsa.bend as Ecdsaimport Base
import bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend as CV
31def i2osp32(+x: Nat) -> List<&2, U32>:
32 CV.i2osp(32n, x)