def Cursor.seek
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytesimport Base
841def Cursor.seek(c: Cursor, +pos: U32) -> Cursor & Bool:
842 Cursor{Bytes{+len, buf}, old, +start, +end} = c
843 Cursor.seek.if(Cursor.fits(len, pos, start, end, 0), Cursor{Bytes{len, buf}, old, start, end}, pos)