def length

bend-collections-laws-crypto@1.0.0.0 · spec/math/random/chacha8rand.bend:227

import Base

227def length(bs: List<&2, U32>) -> Nat:
228  match bs:
229    case Nil{}:
230      0n
231    case Con{b, rest}:
232      1n+length(rest)