functor (Pages : REG_PARAM) -> sig type page = Pages.page type options = Pages.options type return = Pages.return