def i2osp

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/curve.bend:212

import Base

212# (x is looked at first, so that on an unknown x nothing is unfolded)
213def i2osp(+n: Nat, x: Nat) -> List<&2, U32>:
214  match x:
215    case 0n: i2osp_go(n, 0n)
216    case 1n+k: i2osp_go(n, 1n+k)