def Cursor.remaining
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytesimport Base
826def Cursor.remaining(c: Cursor) -> Cursor & U32:
827 Cursor{b, +pos, start, +end} = c
828 (Cursor{b, pos, start, end}, (end - U32.min(pos, end) : U32))
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytesimport Base
826def Cursor.remaining(c: Cursor) -> Cursor & U32:
827 Cursor{b, +pos, start, +end} = c
828 (Cursor{b, pos, start, end}, (end - U32.min(pos, end) : U32))