Module `Omega_plugin.G_omega`

val __coq_plugin_name : string

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