def clamp

import minebender-game@1.0.0.0/LAWS.bend as LAWS

import Base

514def clamp(lo: Nat, hi: Nat, x: Nat) -> Nat:
515  Nat.max(lo, Nat.min(hi, x))

Uses (3)