Journal.cur.cut: def of bend-kit-journal@0.3.1.0 Import: import bend-kit-journal@0.3.1.0/journal.bend as Journal Lines 258-260 of bend-kit-journal@0.3.1.0/journal.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-journal@0.3.1.0/journal.bend&start_line=258&end_line=260 import Base import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes def cur.cut(c: Cur, +hs: U32, +len: U32) -> Cur & Bytes.Bytes: Cur{b, +pos} = c cur.cut.fin(pos, Bytes.slice(b, (pos + hs : U32), len)) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=slice https://jend.leeeet.dev/definition.txt?path=bend-kit-journal@0.3.1.0/journal.bend&name=Cur https://jend.leeeet.dev/definition.txt?path=bend-kit-journal@0.3.1.0/journal.bend&name=cur.cut.fin