functor (X : Input_with_arg-> Kernel_function_set