law show_hex_parts

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

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

33law show_hex_parts:
34  {W.W64.show_hex(W.W64.from_parts(3735928559, 3405691582)) == "deadbeefcafebabe" : String}