def inf.fin

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

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

492def inf.fin(b: Br, o: Out) -> Maybe<&1, Inflated>:
493  Br{r, bad} = b
494  match bad:
495    case True{}:
496      None{}
497    case False{}:
498      inf.done(Bits.Reader.finish(r), o)