law not_sub

bend-osdev-word64@0.1.1.0 · LAWS_bits.bend:41

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

41law not_sub:
42  for +a: W.W64
43  {W.W64.not(a) == W.W64.sub(W.W64.max(), a) : W.W64}