def clamp

minebender-game@1.0.0.0 · game.bend:97

import minebender-game@1.0.0.0/game.bend as Game
import Base

97def clamp(lo: Nat, hi: Nat, x: Nat) -> Nat:
98  Nat.max(lo, Nat.min(hi, x))

Uses (3)

Used by (1)