Search the docs

/

Debug_Info module

is_free_page

procedureSource

is_free_page :: (fpm: Free_Page_Map, page_number: UPN) -> bool

Parameters

fpm: Free_Page_Map
page_number: UPN

Returns

bool

See also

ensure_room set_all alloc_page free_page