law min_le_r
import bend-lawful-stdlib@0.1.0.0/src/u32.bend as U32import Base
137# min(a, b) <= b
138law min_le_r:
139 for +a: U32
140 for +b: U32
141 LE(U32.min(a, b), b)
import bend-lawful-stdlib@0.1.0.0/src/u32.bend as U32import Base
137# min(a, b) <= b
138law min_le_r:
139 for +a: U32
140 for +b: U32
141 LE(U32.min(a, b), b)