def inflate.header

gralha-bytes@0.1.0.1 · bytes.bend:357

import gralha-bytes@0.1.0.1/bytes.bend as Bytes
import Base

357def inflate.header(read: BitRead, out: Bytes, limit: U32, next: BitStream -> Bytes -> Inflate) -> Inflate:
358  BitRead{header, stream} = read
359  +word = header
360  inflate.block.done(inflate.block(U32.shr(word), stream, out, limit), U32.is_eq(U32.and(word, 1), 1), next)
361
362@unsafe

Uses (10)

Used by (1)