def eq
import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport Base
122def eq(a: List<&2, Nat>, b: List<&2, Nat>) -> Bool:
123 match a:
124 case Nil{}: eq_b(Nil{}, b)
125 case x <> t: eq_b(x <> t, b)
import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport Base
122def eq(a: List<&2, Nat>, b: List<&2, Nat>) -> Bool:
123 match a:
124 case Nil{}: eq_b(Nil{}, b)
125 case x <> t: eq_b(x <> t, b)