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