functor (X : Parameter_input_with_arg-> Plugin.STRING_SET