def nat_max.fin

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

import Base

43def nat_max.fin(+a: Nat, +b: Nat, c: Bool) -> Nat:
44  match c:
45    case True{}:
46      a
47    case False{}:
48      b

Uses (2)