Module type State_partitioning.Param

module type Param = sig .. end

type loop 
val kf : Cil_types.kernel_function
val widening_delay : int
val widening_period : int
val slevel : Cil_types.stmt -> int
val merge : Cil_types.stmt -> bool
val unroll : loop -> int