def pow
import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport 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)