law lo_from_parts

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

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

50law lo_from_parts:
51  for h: U32
52  for l: U32
53  {W.W64.lo(W.W64.from_parts(h, l)) == l : U32}