def bitmap.next_clear
import bend-osdev-algo@0.1.0.0/bitmap.bend as Bitmapimport Base
64# the first clear bit at or after start and below size, or size
65def bitmap.next_clear(words: List<&2, U32>, size: Nat, start: Nat) -> Nat:
66 bitseq.next(size, start, False{}, bitmap.bits(words))