def need.under

cswap-bend-cli@0.1.0.0 · policy/algo.bend:38

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

38def need.under(+under: Bool, +thr: Nat) -> Nat:
39  match under:
40    case True{}:
41      Nat.add(Nat.sub(T.full(), thr), 1n)
42    case False{}:
43      1n