def done.g

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

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

59def done.g(g: Gated) -> IO(Fs.Res(Gated)):
60  IO.pure(Fs.Res(Gated), Done{g})