law last_set_is_set

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

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

60law last_set_is_set:
61  for x: U32
62  for k: Nat
63  for e: {A.bits32.last_set(x) == Some{k} : Maybe<&2, Nat>}
64  {A.bits32.test(x, k) == True{} : Bool}