functor
  (P : sig val name : string val shortname : string val help : string end->
  General_services