def nat_min

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

import Base

40def nat_min(+a: Nat, +b: Nat) -> Nat:
41  nat_min.fin(a, b, Nat.is_le(a, b))

Uses (3)