law le_max_r
import bend-lawful-stdlib@0.1.0.0/src/u32.bend as U32import Base
160# b <= max(a, b)
161law le_max_r:
162 for +a: U32
163 for +b: U32
164 LE(b, U32.max(a, b))
import bend-lawful-stdlib@0.1.0.0/src/u32.bend as U32import Base
160# b <= max(a, b)
161law le_max_r:
162 for +a: U32
163 for +b: U32
164 LE(b, U32.max(a, b))