law u32_lt_not_le

bend-osdev-u32@0.1.0.0 · LAWS_order.bend:155

import Base

155law u32_lt_not_le:
156  for +a: U32
157  for +b: U32
158  for e: {U32.is_lt(a, b) == True{} : Bool}
159  {U32.is_le(b, a) == False{} : Bool}