Module Gauges_domain.G.IterationInfo

module IterationInfo: sig .. end

include struct ... end
val is_included : Gauges_domain.G.iteration_info -> Gauges_domain.G.iteration_info -> bool