def next.n
import bend-kit-postgres@0.3.0.0/codec.bend as Codecimport Base
677def next.n(+t: U32, +pos: U32, +len: U32, r: Cur & U32) -> Reader & Next:
678 (c, +n) = r
679 Cur{buf, i, e, ok} = c
680 next.size(Bool.and(U32.is_le(4, n), U32.is_le(n, 1073741824)), t, pos, len, n, buf)