def vals

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/point.bend:21

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/field.bend as FS

21def vals(+one: Nat, rs: List<&2, List<&2, Nat>>) -> List<&2, Nat>:
22  match rs:
23    case Nil{}: Nil{}
24    case r <> t: FS.value(one, r) <> vals(one, t)