~/jendhub

def failover.go

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

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

364def failover.go(+n: Nat, +e: Env) -> T.Decision:
365  match e:
366    case Env{active, as, us, now, cfg, st, mem}:
367      fail.count(Nat.is_lt(n, mem.ut(cfg)), n, mem.ut(cfg), e)

Uses (6)

Used by (1)