law u32_lt_le

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

import Base

98law u32_lt_le:
99  for +a: U32
100  for +b: U32
101  for e: {U32.is_lt(a, b) == True{} : Bool}
102  {U32.is_le(a, b) == True{} : Bool}