law u32_cmp_lt_trans

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

import Base

81law u32_cmp_lt_trans:
82  for +a: U32
83  for +b: U32
84  for +c: U32
85  for h1: {U32.cmp(a, b) == LT{} : Cmp}
86  for h2: {U32.cmp(b, c) == LT{} : Cmp}
87  {U32.cmp(a, c) == LT{} : Cmp}