Type PageID

#include <minirel.h>

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

typedef int PageID;