~/jendhub

def locked.res

cswap-bend-cli@0.1.0.0 · usage/gate.bend:140

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

140def locked.res(r: Fs.Res(Gated)) -> Gated:
141  match r:
142    case Done{g}:
143      g
144    case Fail{e}:
145      locked.fail(e)

Uses (4)

Used by (1)