def clamp

import bend-collections-laws-crypto@1.0.0.0/src/math/natural.bend as Natural

import Base

347def clamp(+x: Nat, +lo: Nat, +hi: Nat) -> Result<&2, &2, MathError, Nat>:
348  clamp_ok(x, lo, hi, Nat.is_lt(hi, lo))

Uses (5)