~/jendhub

def len

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/poly1305/value.bend:493

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/value.bend as Value
import Base

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

Uses (4)

Used by (41)