def w8s.len.go

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

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

import Base

498def w8s.len.go(ws: List<&2, OctByte>, n: Nat) -> Nat:
499  match ws:
500    case Nil{}:
501      n
502    case Con{h, t}:
503      w8s.len.go(t, 1n+n)

Uses (3)

Used by (3)