functor (X : Input_with_arg-> String_list