~/jendhub

def n16.dec

bend-kit-postgres@0.3.0.0 · codec.bend:364

import bend-kit-postgres@0.3.0.0/codec.bend as Codec
import Base

364# An int16 count, then that many items.
365def n16.dec(~A: Type, ~item: Cur -> Cur & A, r: Cur & U32) -> Cur & List<&1, A>:
366  (c, +k) = r
367  n16.go(~A, ~item, U32.is_eq(k, 0), k, c)

Uses (7)

Used by (1)