law hi_of_parts

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

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

14law hi_of_parts:
15  {W.W64.hi(W.W64.from_parts(3735928559, 3405691582)) == 3735928559 : U32}