Lock.done.close: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/lock.bend as Lock
Lines 94-95 of cswap-bend-cli@0.1.0.0/lock.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/lock.bend&start_line=94&end_line=95

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs

def done.close(-A: Type, r: Fs.Res(A), f: File) -> IO(Fs.Res(A)):
  IO.bind(Unit, Fs.Res(A), File.close(f), u => IO.pure(Fs.Res(A), r))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File.close
  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=Unit
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fs.bend&name=Res