~/jendhub

law clamp_le_hi

bend-lawful-stdlib@0.1.0.0 · src/float/f32.bend:517

import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32
import Base

517# clamp(x, lo, hi) <= hi for every x, NaN and infinities included
518law clamp_le_hi:
519  for ~lt: LtOk()
520  for +x: F32
521  for +lo: F32
522  for +hi: F32
523  for lh: LE(lo, hi)
524  LE(F32.clamp(x, lo, hi), hi)

Uses (10)

Used by (0)

No other definition uses this definition.