let
used_page
() =
let
rec
used_page_from
i
=
i
<
page_number
&& (
free_pages
.(
i
) <> 0 ||
used_page_from
(
i
+ 1))
in
used_page_from
0;;