def i2osp_go
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
209def i2osp_go(n: Nat, +x: Nat) -> List<&2, U32>:
210 List.reverse(&2, U32, i2osp_le(n, x))
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
209def i2osp_go(n: Nat, +x: Nat) -> List<&2, U32>:
210 List.reverse(&2, U32, i2osp_le(n, x))