law lo_le_clamp
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
553# lo <= clamp(x, lo, hi) for every x, when lo <= hi
554law lo_le_clamp:
555 for ~lt: LtOk()
556 for +x: F32
557 for +lo: F32
558 for +hi: F32
559 for lh: LE(lo, hi)
560 LE(lo, F32.clamp(x, lo, hi))
Uses (7)
Used by (0)
No other definition uses this definition.