Completion.report: def of bend-kit-http@0.38.4.0
Import: import bend-kit-http@0.38.4.0/completion.bend as Completion
Lines 34-39 of bend-kit-http@0.38.4.0/completion.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.4.0/completion.bend&start_line=34&end_line=39

import Base

def report(receipt: Receipt, status: U32, outcome: Outcome) -> IO(Unit):
  match receipt:
    case Unobserved{}:
      IO.pure(Unit, Unit{})
    case Observed{send}:
      send(status, outcome)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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/completion.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/completion.bend&name=Receipt