Module Gauges_domain.G.MultipleIterations

module MultipleIterations: sig .. end

val compare : Gauges_domain.G.multiple_iterations ->
Gauges_domain.G.multiple_iterations -> int
val equal : Gauges_domain.G.multiple_iterations ->
Gauges_domain.G.multiple_iterations -> bool
val hash : Gauges_domain.G.multiple_iterations -> int
val structural_descr : Structural_descr.t
val succ : Gauges_domain.G.multiple_iterations -> Gauges_domain.G.multiple_iterations
val join : Gauges_domain.G.multiple_iterations ->
Gauges_domain.G.multiple_iterations -> Gauges_domain.G.multiple_iterations
val widen : Cil_types.stmt ->
widen_nb:bool ->
Gauges_domain.G.multiple_iterations ->
Gauges_domain.G.multiple_iterations -> Gauges_domain.G.multiple_iterations