def held.fin

import cswap-bend-cli@0.1.0.0/lock.bend as Lock

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

55def held.fin(fr: File & Fs.Res(Bool)) -> IO(Fs.Res(Maybe<&1, File>)):
56  (f, r) = fr
57  held.pick(f, r)

Uses (8)

Bool
Maybe
Pair
Sigma
IO
…

Used by (1)

cswap-bend-cli@0.1.0.0/lock:opened