law show_max

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

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

30law show_max:
31  {W.W64.show(W.W64.max()) == "18446744073709551615" : String}