Camber.close.join: def of bend-kit-camber@0.15.0.1
Import: import bend-kit-camber@0.15.0.1/camber.bend as Camber
Lines 428-434 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=428&end_line=434

import Base

def close.join(-R: Type, -P: Data, -I: Data, -E: Data, -O: Data,
  owner: Owner<R, P, I, E, O>
) -> IO(OwnerClose<R, P, I, E, O>):
  Owner{context, finished} = owner
  do IO<OwnerClose<R, P, I, E, O>>:
    IO.join(Unit, finished)
    return OwnerClosed{}

Uses (7):
  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.join
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  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=Owner
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/camber.bend&name=OwnerClose