law from_parts_zero

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

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

61law from_parts_zero:
62  {W.W64.from_parts(0, 0) == W.W64.zero() : W.W64}