functor
(
X
:
Input_with_arg
)
->
Kernel_function_set