module Partitioning_parameters: sig .. end
sig
end
module Make: functor (Kf : sig val kf : Cil_types.kernel_functionend) -> sig .. end
functor (
Kf
:
val kf : Cil_types.kernel_function
Cil_types.kernel_function
end) -> sig .. end
) ->