law lo_of_parts

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

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

17law lo_of_parts:
18  {W.W64.lo(W.W64.from_parts(3735928559, 3405691582)) == 3405691582 : U32}