def nat_min.fin

import unified-nsga-iii@0.2.2.0/util.bend as Util

import Base

33def nat_min.fin(+a: Nat, +b: Nat, c: Bool) -> Nat:
34  match c:
35    case True{}:
36      a
37    case False{}:
38      b

Uses (2)