def tz.min.sel

cswap-bend-cli@0.1.0.0 · clock.bend:149

import Base

149def tz.min.sel(a: Bool, b: Bool, c: Bool, +t: String) -> Maybe<&2, U32>:
150  match a b c:
151    case True{} _ _:
152      Some{0}
153    case False{} True{} _:
154      num(t, 3n, 2n)
155    case False{} False{} True{}:
156      num(t, 2n, 2n)
157    case False{} False{} False{}:
158      None{}