~/jendhub

def len

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/argon2/password.bend:28

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/password.bend as Password
import Base

28def len(xs: List<&2, U32>) -> Nat:
29  List.length(&2, U32, xs)

Uses (4)

Used by (15)