def verdict1

cswap-bend-cli@0.1.0.0 · daemon/walk.bend:196

import cswap-bend-cli@0.1.0.0/daemon/walk.bend as Walk
import Base
import cswap-bend-cli@0.1.0.0/daemon/freshen.bend as Fr

196def verdict1(+ok: Bool, +dead: Bool, +conflict: Bool, +skip: Bool, +st: String) -> Verdict:
197  match ok dead conflict skip:
198    case True{} _ _ _:
199      VOk{}
200    case False{} True{} _ _:
201      VDead{}
202    case False{} False{} True{} _:
203      VConflict{}
204    case False{} False{} False{} True{}:
205      VSkip{}
206    case _ _ _ _:
207      verdict2(U32.is_lt(0, Fr.systemic_rank(st)), st)

Uses (6)

Used by (1)