module type Param = sig .. end
sig
end
type loop
val kf : Cil_types.kernel_function
Cil_types.kernel_function
val widening_delay : int
int
val widening_period : int
val slevel : Cil_types.stmt -> int
Cil_types.stmt -> int
val merge : Cil_types.stmt -> bool
Cil_types.stmt -> bool
val unroll : loop -> int
loop -> int