sig
  module Make :
    functor (Kf : sig val kf : Cil_types.kernel_function end->
      sig
        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
        val call_return_policy : Partition.call_return_policy
      end
end