~/jendhub

def len

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/argon2.bend:26

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/argon2.bend as Argon2
import Base

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

Uses (4)

Used by (5)