fun get_page_type(page: GtkWidget): GtkAssistantPageType `{
		return gtk_assistant_get_page_type(self, page);
	`}