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

import Base

def close.completed(-R: Type, -P: Data, -I: Data, -E: Data, -O: Data,
  result: CloseResult, owner: Owner<R, P, I, E, O>
) -> IO(OwnerClose<R, P, I, E, O>):
  match result:
    case Closed{}:
      close.join(R, P, I, E, O, owner)
    case Busy{counts}:
      IO.pure(OwnerClose<R, P, I, E, O>, OwnerBusy{owner, counts})

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=bend-kit-camber@0.15.0.1/camber.bend&name=CloseResult
  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
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/camber.bend&name=close.join