def bits
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
137def bits(+i: Nat, k: Nat) -> List<&2, Nat>:
138 match k:
139 case 0n: bits_go(i, 0n)
140 case 1n+j: bits_go(i, 1n+j)
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curveimport Base
137def bits(+i: Nat, k: Nat) -> List<&2, Nat>:
138 match k:
139 case 0n: bits_go(i, 0n)
140 case 1n+j: bits_go(i, 1n+j)