def inf.done

bend-kit-zlib@0.5.1.0 · zlib.bend:488

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

488def inf.done(r: Bytes.Bytes & U32, o: Out) -> Maybe<&1, Inflated>:
489  (src, +pos) = r
490  Some{Inflated{out.bytes(o), src, ((pos + 7) >> 3n : U32)}}