law lo_le_clamp
import bend-lawful-stdlib@0.1.0.0/src/u32.bend as U32import Base
195# lo <= clamp(x, lo, hi) when lo <= hi
196law lo_le_clamp:
197 for +x: U32
198 for +lo: U32
199 for +hi: U32
200 for lh: LE(lo, hi)
201 LE(lo, U32.clamp(x, lo, hi))
Uses (7)
Used by (0)
No other definition uses this definition.