law last_set_none

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

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

74law last_set_none:
75  for x: U32
76  for e: {A.bits32.last_set(x) == None{} : Maybe<&2, Nat>}
77  {x == 0 : U32}