Module Partitioning_parameters

module Partitioning_parameters: sig .. end

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