sig
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
end