def clamp_lt.fin

unified-nsga-iii@0.2.2.0 · rng.bend:61

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

import Base

61def clamp_lt.fin(+i: Nat, +n: Nat, ok: Bool) -> Nat:
62  match ok:
63    case True{}:
64      i
65    case False{}:
66      pred_or_zero(n)

Uses (3)

Used by (1)

unified-nsga-iii@0.2.2.0/rng:clamp_lt