U32.clamp_le_hi: law of bend-lawful-stdlib@0.1.0.0
Import: import bend-lawful-stdlib@0.1.0.0/src/u32.bend as U32
Lines 169-174 of bend-lawful-stdlib@0.1.0.0/src/u32.bend: https://jend.leeeet.dev/read.txt?path=bend-lawful-stdlib@0.1.0.0/src/u32.bend&start_line=169&end_line=174

import Base

# clamp(x, lo, hi) <= hi, even when lo > hi
law clamp_le_hi:
  for +x: U32
  for +lo: U32
  for +hi: U32
  LE(U32.clamp(x, lo, hi), hi)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.clamp
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.max
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/u32.bend&name=LE
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/u32.bend&name=min_le_r