Module `Omega_plugin`

module Coq_omega : sig ... end

module G_omega : sig ... end

module Omega : sig ... end