law first_set_none

bend-osdev-algo@0.1.0.0 · LAWS.bend:55

import Base
import bend-osdev-algo@0.1.0.0/algo.bend as A

55law first_set_none:
56  for x: U32
57  for e: {A.bits32.first_set(x) == None{} : Maybe<&2, Nat>}
58  {x == 0 : U32}