~/jendhub

def len

bend-toon-codec@0.1.0.0 · src/hdr.bend:151

import bend-toon-codec@0.1.0.0/src/hdr.bend as Hdr
import Base
import bend-toon-codec@0.1.0.0/src/num.bend as N

151def len(+r: N.Sp) -> Result<&2, &2, String, Hdr>:
152  match r:
153    case N.Sp{ds, rest}:
154      len.pick(len.ok(ds), U32.read(ds), rest)

Uses (7)

Used by (1)