Zlib.inf.result: def of bend-kit-zlib@0.5.1.0
Import: import bend-kit-zlib@0.5.1.0/zlib.bend as Zlib
Lines 500-510 of bend-kit-zlib@0.5.1.0/zlib.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&start_line=500&end_line=510

import Base

def inf.result(st: Is) -> Maybe<&1, Inflated>:
  Is{b, o, mode, last} = st
  match mode:
    case MoDone{}:
      inf.fin(b, o)
    case MoHead{}:
      None{}
    case MoCodes{l, d}:
      None{}
    case MoBad{}:
      None{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=Inflated
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=Is
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=Mo
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=inf.fin