def locked_switch

cswap-bend-cli@0.1.0.0 · daemon/apply.bend:100

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/daemon/dec.bend as Dc
import cswap-bend-cli@0.1.0.0/daemon/state.bend as St

100def locked_switch(+c: Dc.Ctx, +root: String, go: Dc.Dec, +to: String, +trigger: String) -> Act.of(Dc.TickRes):
101  do ActM<Dc.TickRes>:
102    st : Json.Json <- Act.lift(Json.Json, St.read_state(root))
103    locked_switch2(in_cool(c, st, trigger), c, root, go, to, trigger)