law u32_lt_trans

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

import Base

104law u32_lt_trans:
105  for +a: U32
106  for +b: U32
107  for +c: U32
108  for h1: {U32.is_lt(a, b) == True{} : Bool}
109  for h2: {U32.is_lt(b, c) == True{} : Bool}
110  {U32.is_lt(a, c) == True{} : Bool}