law vec_next_past_size

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

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

348law vec_next_past_size:
349  {M.bitmap.next_clear([0], 10n, 12n) == 10n : Nat}