Module Mopsa_utils.CongUtils

module IntCong : sig ... end

IntCong - Integer congruences.