def dec_if

import unified-nsga-iii@0.2.2.0/algorithm.bend as Algorithm

import Base

166def dec_if(n: Nat, hit: Bool) -> Nat:
167  match hit:
168    case True{}:
169      pred_or_zero(n)
170    case False{}:
171      n

Uses (3)