def nat_max

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

import Base

50def nat_max(+a: Nat, +b: Nat) -> Nat:
51  nat_max.fin(a, b, Nat.is_ge(a, b))

Uses (3)