law sub_wraps

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

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

11law sub_wraps:
12  {W.W64.sub(W.W64.zero(), W.W64.one()) == W.W64.max() : W.W64}