Camber.work: def of bend-kit-camber@0.15.0.1
Import: import bend-kit-camber@0.15.0.1/camber.bend as Camber
Lines 148-155 of bend-kit-camber@0.15.0.1/camber.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-camber@0.15.0.1/camber.bend&start_line=148&end_line=155

import Base

def work(~R: Type, ~P: Data, ~I: Data, ~E: Data, ~O: Data,
  ~handler: R -> P -> I -> IO(R & Result<&2, &2, E, O>), ~destroy: R -> IO(Unit),
  resource: R, principal: P, input: I,
  messages: Chan(Message<R, P, I, E, O>), reply: Chan(Outcome<E, O>)
) -> IO(Unit):
  do IO<Unit>:
    result : R & Result<&2, &2, E, O> <- handler(resource, principal, input)
    work.return(~R, ~P, ~I, ~E, ~O, ~destroy, messages, reply, result)

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=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=Pair
  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-camber@0.15.0.1/camber.bend&name=Message
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/camber.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/camber.bend&name=work.return