law not0

lawful-bytes@0.1.1.0 · proof_fast_find.bend:382

import Base

382# The loop's "no hit" answer 4294967295 is above every length.
383law not0:
384  {U32.not(0) == 4294967295 : U32}