def gated.env2

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

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

163def gated.env2(+set: Bool, +slot: String, +email: String, +snapshot: String, +root: String) -> IO(Gated):
164  match set:
165    case True{}:
166      IO.pure(Gated, gated.err("store-unmirrored", None{}))
167    case False{}:
168      gated.go(slot, email, snapshot, root)

Uses (8)

Used by (1)