def left
import bend-kit-postgres@0.3.0.0/codec.bend as Codecimport Base
274def left(c: Cur) -> Cur & Nat:
275 Cur{b, +i, +e, +ok} = c
276 (Cur{b, i, e, ok}, U32.to_nat((e - i : U32)))
import bend-kit-postgres@0.3.0.0/codec.bend as Codecimport Base
274def left(c: Cur) -> Cur & Nat:
275 Cur{b, +i, +e, +ok} = c
276 (Cur{b, i, e, ok}, U32.to_nat((e - i : U32)))