law cmp_hi_lt

bend-osdev-word64@0.1.1.0 · LAWS.bend:105

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

105# Comparison is by the high halves, then the low halves (for dependents
106# that order words through W64.hi and W64.lo).
107law cmp_hi_lt:
108  for +a: W.W64
109  for +b: W.W64
110  for h: {U32.cmp(W.W64.hi(a), W.W64.hi(b)) == LT{} : Cmp}
111  {W.W64.cmp(a, b) == LT{} : Cmp}