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