def len

bend-collections@1.0.0.0 · src/crypto/argon2/argon2.bend:18

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

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

Uses (4)

Used by (2)