Module Omega_plugin.Omega

module type INT = sig ... end
val debug : bool Stdlib.ref
module MakeOmegaSolver : functor (I : INT) -> sig ... end