law vec_next_clear

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

import Base
import bend-osdev-algo@0.1.0.0/bitmap.bend as M

345law vec_next_clear:
346  {M.bitmap.next_clear([4294967295, 1], 64n, 3n) == 33n : Nat}