def util.go

cswap-bend-cli@0.1.0.0 · policy/decide.bend:390

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

390def util.go(+below: Bool, +a: Nat, +e: Env) -> T.Decision:
391  match below:
392    case True{}:
393      below.go(cfg.cf(env.cfg(e)), a, e)
394    case False{}:
395      decide.trig(trig.of(a), e)