def Clamp.le

bend-collections-laws-math@1.0.0.0 · spec/math/natural.bend:293

import Base

293def Clamp.le(+x: Nat, +lo: Nat, +hi: Nat) -> Type:
294  {Nat.is_le(Nat.min(Nat.max(x, lo), hi), hi) == True{} : Bool}