package coq

You can search for identifiers within the package.

in-package search v0.2.0

Module `Ltac_plugin.Tactic_option`Source

val declare_tactic_option : 
  ?default:Tacexpr.glob_tactic_expr ->
  string ->
  (Vernacexpr.locality_flag ->
  Tacexpr.glob_tactic_expr ->
  unit)
  * (unit ->
  Vernacexpr.locality_flag * unit Proofview.tactic)
  * (unit ->
  Pp.t)