def clamp_lt

import unified-nsga-iii@0.2.2.0/rng.bend as Rng

import Base

68def clamp_lt(+i: Nat, +n: Nat) -> Nat:
69  clamp_lt.fin(i, n, Nat.is_lt(i, n))

Uses (3)