~/jendhub

def fe.len

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

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

812def fe.len(+t: U32, +mode: U32, r: Cur & U32) -> Cur & Front:
813  (c, +n) = r
814  Cur{b, +i, +e, +ok} = c
815  fe.tagged(t, mode, Cur{b, i, e, Bool.and(ok, U32.is_eq((n + 1 : U32), e))})

Uses (9)

Used by (1)