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