Admission.loop: def of bend-kit-http@0.38.4.0
Import: import bend-kit-http@0.38.4.0/admission.bend as Admission
Lines 205-262 of bend-kit-http@0.38.4.0/admission.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.4.0/admission.bend&start_line=205&end_line=262

import Base

def loop(+inbox: Chan(Command), +running: Bool, +closing: Bool, step: Step) -> IO(Counts):
  match step:
    case Waiting{ledger}:
      do IO<Counts>:
        got : Maybe<&1, Command> <- Chan.recv(Command, inbox)
        loop(inbox, running, closing, Received{ledger, got})
    case Acquired{reply, booked}:
      match booked:
        case Broken{}:
          IO.die(Counts, 1, "Admission: a lease count broke")
        case Booked{ledger, admitted}:
          do IO<Counts>:
            sent : Result<&1, &1, Bool, Unit> <- Chan.send(Bool, reply, admitted)
            loop(inbox, running, closing, Waiting{ledger})
    case Released{reply, booked}:
      match booked:
        case Broken{}:
          IO.die(Counts, 1, "Admission.give: no lease of this kind is held")
        case Booked{ledger, admitted}:
          do IO<Counts>:
            sent : Result<&1, &1, Unit, Unit> <- Chan.send(Unit, reply, Unit{})
            loop(inbox, running, closing, Finishing{idle(closing, counts(ledger))})
    case Counted{reply, counted}:
      (snapshot, ledger) = counted
      do IO<Counts>:
        sent : Result<&1, &1, Counts, Unit> <- Chan.send(Counts, reply, snapshot)
        loop(inbox, running, closing, Waiting{ledger})
    case Finishing{checked}:
      (done, ledger) = checked
      match done:
        case True{}:
          do IO<Counts>:
            Chan.close(Command, inbox)
            return final(ledger)
        case False{}:
          loop(inbox, running, closing, Waiting{ledger})
    case Received{ledger, got}:
      match got:
        case None{}:
          IO.pure(Counts, final(ledger))
        case Some{command}:
          match command:
            case Acquire{kind, reply}:
              loop(inbox, running, closing, Acquired{reply, acquire.running(running, kind, ledger)})
            case Release{kind, reply}:
              loop(inbox, running, closing, Released{reply, release(kind, ledger)})
            case Snapshot{reply}:
              loop(inbox, running, closing, Counted{reply, counts(ledger)})
            case Quiesce{reply}:
              do IO<Counts>:
                sent : Result<&1, &1, Bool, Unit> <- Chan.send(Bool, reply, running)
                loop(inbox, False{}, closing, Waiting{ledger})
            case Running{reply}:
              do IO<Counts>:
                sent : Result<&1, &1, Bool, Unit> <- Chan.send(Bool, reply, running)
                loop(inbox, running, closing, Waiting{ledger})
            case Stop{}:
              loop(inbox, running, True{}, Finishing{idle(True{}, counts(ledger))})

Uses (22):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan.close
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan.recv
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan.send
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.die
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/admission.bend&name=Booked
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/admission.bend&name=Command
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/admission.bend&name=Counts
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/admission.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/admission.bend&name=acquire.running
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/admission.bend&name=counts
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/admission.bend&name=final
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/admission.bend&name=idle
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/admission.bend&name=release