Admission.close: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/admission.bend as Admission
Lines 342-347 of bend-kit-http@0.38.2.0/admission.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/admission.bend&start_line=342&end_line=347

import Base

# Retire accounting after listener closure; quiesce is the separate admission
# cutover. Finite internal fixtures may finish their already-accepted protocol.
def close(inbox: Chan(Command)) -> IO(Unit):
  do IO<Unit>:
    sent : Result<&1, &1, Command, Unit> <- Chan.send(Command, inbox, Stop{})
    return Unit{}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan
  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.pure
  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.2.0/admission.bend&name=Command