~/jendhub

law clamp_le_hi

bend-lawful-stdlib@0.1.0.0 · src/u32.bend:169

import bend-lawful-stdlib@0.1.0.0/src/u32.bend as U32
import Base

169# clamp(x, lo, hi) <= hi, even when lo > hi
170law clamp_le_hi:
171  for +x: U32
172  for +lo: U32
173  for +hi: U32
174  LE(U32.clamp(x, lo, hi), hi)

Uses (5)

Used by (0)

No other definition uses this definition.