def pow

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/field.bend:89

import Base

89# x is looked at first, so that on an unknown x nothing is unfolded
90def pow(x: List<&2, Nat>, bits: List<&2, Nat>, +acc: List<&2, Nat>) -> List<&2, Nat>:
91  match x:
92    case Nil{}: pow_go(Nil{}, bits, acc)
93    case +y <> +t: pow_go(y <> t, bits, acc)