Type PageID

#include <minirel.h>

PageID uniquely identifies a page. It is defined as an int.

typedef int PageID;

A macro INVALID_PAGE is defined as -1, and can be used to indicate an invalid (for eg, uninitialized) page id.