~/jendhub

def n16.con

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

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

99def n16.con(h: Bytes.Bytes, r: List<&1, Bytes.Bytes> & U32) -> List<&1, Bytes.Bytes> & U32:
100  (t, +n) = r
101  (Con{h, t}, (n + 1 : U32))

Uses (6)

Used by (1)