law u32_lt_irrefl
import bend-osdev-u32@0.1.0.0/LAWS_order.bend as LAWSOrderimport Base
93law u32_lt_irrefl:
94 for +a: U32
95 for e: {U32.is_lt(a, a) == True{} : Bool}
96 Empty
Uses (5)
Used by (0)
No other definition uses this definition.
import bend-osdev-u32@0.1.0.0/LAWS_order.bend as LAWSOrderimport Base
93law u32_lt_irrefl:
94 for +a: U32
95 for e: {U32.is_lt(a, a) == True{} : Bool}
96 Empty
No other definition uses this definition.