Functor Partitioning_parameters.Make

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

val widening_delay : int
val widening_period : int
val slevel : Cil_types.stmt -> int
val merge : Cil_types.stmt -> bool
val unroll : Cil_types.stmt -> Partition.unroll_limit
val history_size : int
val universal_splits : Partition.action list
val flow_actions : Cil_types.stmt -> Partition.action list