~/jendhub

def cur.fits

bend-kit-journal@0.3.1.0 · journal.bend:235

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

235def cur.fits(c: Cur, +at: U32, +n: U32) -> Cur & Bool:
236  Cur{Bytes.Bytes{+len, buf}, +pos} = c
237  (Cur{Bytes.Bytes{len, buf}, pos}, Bytes.fits((len - pos : U32), at, n))

Uses (8)

Used by (1)