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