functor (X : Parameter_input_with_arg-> STRING