law u32_lt_le_trans

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

import Base

120law u32_lt_le_trans:
121  for +a: U32
122  for +b: U32
123  for +c: U32
124  for h1: {U32.is_lt(a, b) == True{} : Bool}
125  for h2: {U32.is_le(b, c) == True{} : Bool}
126  {U32.is_lt(a, c) == True{} : Bool}