Admission.give.sent: def of bend-kit-http@0.38.4.0
Import: import bend-kit-http@0.38.4.0/admission.bend as Admission
Lines 305-315 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=305&end_line=315

import Base

# Correct owners cannot retire the actor while a lease remains counted. If an
# internal channel is externally closed, report the violation instead of joining
# an unanswered reply or pretending a retained operation drained.
def give.sent(sent: Result<&1, &1, Command, Unit>, +reply: Chan(Unit)) -> IO(Unit):
  match sent:
    case Fail{command}:
      do IO<Unit>:
        Chan.close(Unit, reply)
        IO.die(Unit, 1, "Admission.give: controller closed while lease retained")
    case Done{u}:
      IO.join(Unit, reply)

Uses (9):
  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=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.join
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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=Command