sig 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 : State_partitioning.Param.loop -> int end