Module Omega_plugin.G_omega
val __coq_plugin_name : stringval eval_tactic : string -> unit Proofview.tacticval omega_tactic : Stdlib.String.t list -> unit Proofview.tactic
Omega_plugin.G_omegaval __coq_plugin_name : stringval eval_tactic : string -> unit Proofview.tacticval omega_tactic : Stdlib.String.t list -> unit Proofview.tactic