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
end