law u32_le_refl
import bend-osdev-u32@0.1.0.0/LAWS_order.bend as LAWSOrderimport Base
89law u32_le_refl:
90 for +a: U32
91 {U32.is_le(a, a) == True{} : Bool}
Uses (4)
Used by (0)
No other definition uses this definition.
import bend-osdev-u32@0.1.0.0/LAWS_order.bend as LAWSOrderimport Base
89law u32_le_refl:
90 for +a: U32
91 {U32.is_le(a, a) == True{} : Bool}
No other definition uses this definition.