Module Omega_plugin.G_omega
val eval_tactic : string -> unit Proofview.tactic
val omega_tactic : Stdlib.String.t list -> unit Proofview.tactic
val omega_with_deprecation : Deprecation.t
Omega_plugin.G_omega
val eval_tactic : string -> unit Proofview.tactic
val omega_tactic : Stdlib.String.t list -> unit Proofview.tactic
val omega_with_deprecation : Deprecation.t