functor
(
X
:
Input_with_arg
)
->
Parameter_sig
.
Kernel_function_set