law add_wraps

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

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

8law add_wraps:
9  {W.W64.add(W.W64.max(), W.W64.one()) == W.W64.zero() : W.W64}