declare module "nav-page" {
    import pagesModule = require("ui/page");

    class NavPage extends pagesModule.Page {
        constructor(id: number);
    }
}