functor (X : Input_with_arg-> Parameter_sig.Kernel_function_set