def len.go

bend-osdev-bytes@0.1.1.0 · bytes.bend:258

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

258def len.go(xs: List<&2, U32>, n: Nat) -> Nat:
259  match xs:
260    case Nil{}:
261      n
262    case Con{h, t}:
263      len.go(t, 1n+n)

Uses (3)

Used by (3)