def uint.got

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

278def uint.got(+i: U32, +n: U32, +e: U32, +ok: Bool, r: Bytes.Bytes & Maybe<&2, U32>) -> Cur & U32:
279  (b, m) = r
280  match m:
281    case Some{+v}:
282      (Cur{b, (i + n : U32), e, ok}, v)
283    case None{}:
284      (Cur{b, i, e, False{}}, 0)