~/jendhub

def Reader.left

bend-kit-bits@0.1.0.1 · bits.bend:55

import bend-kit-bits@0.1.0.1/bits.bend as Bits
import Base

55def Reader.left(r: Reader) -> Reader & U32:
56  Reader{+len, buf, +pos} = r
57  (Reader{len, buf, pos}, ((len << 3n) - pos : U32))

Uses (6)

Used by (0)

No other definition uses this definition.