law show_hex_zero

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

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

36law show_hex_zero:
37  {W.W64.show_hex(W.W64.zero()) == "0000000000000000" : String}