def clamp_ok

bend-collections-laws-math@1.0.0.0 · src/math/natural.bend:340

import Base

340def clamp_ok(+x: Nat, +lo: Nat, +hi: Nat, +bad: Bool) -> Result<&2, &2, MathError, Nat>:
341  match bad:
342    case True{}:
343      Fail{Domain{}}
344    case False{}:
345      Done{Nat.min(Nat.max(x, lo), hi)}