functor
(
X
:
Parameter_input_with_arg
)
->
STRING_SET