~/jendhub

def length_is

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/curve.bend:218

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curve
import Base

218def length_is(n: Nat, bs: List<&2, U32>) -> Bool:
219  Nat.is_eq(List.length(&2, U32, bs), n)

Uses (6)

Used by (21)