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