def fe.plen

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

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

import Base

834def fe.plen(r: Cur & U32) -> Cur & Front:
835  (c, +n) = r
836  Cur{b, +i, +e, +ok} = c
837  fe.code(uint(Cur{b, i, e, Bool.and(ok, U32.is_eq(n, e))}, 4))

Uses (9)

Used by (1)

bend-kit-postgres@0.3.0.0/codec:fe.start