def rank2

cswap-bend-cli@0.1.0.0 · daemon/freshen.bend:70

import cswap-bend-cli@0.1.0.0/daemon/freshen.bend as Freshen
import Base

70def rank2(+a: Bool, +b: Bool, +c: Bool, +d: Bool) -> U32:
71  match a b c d:
72    case True{} _ _ _:
73      1
74    case False{} True{} _ _:
75      2
76    case False{} False{} True{} _:
77      3
78    case False{} False{} False{} True{}:
79      4
80    case _ _ _ _:
81      0

Uses (2)

Used by (1)