def pr.len

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

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

446def pr.len(c: Cur, acc: List<&1, Param>, r: Bytes.Bytes & U32) -> Loop<Bytes.Bytes, Param>:
447  (m, +n) = r
448  loop.pick(Bytes.Bytes, Param, U32.is_eq(n, 0), c, m, acc)