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