package coq

You can search for identifiers within the package.

in-package search v0.2.0

Module `Indfun_common.New`Source

val observe_tac : 
  header:Pp.t ->
  (Environ.env -> Evd.evar_map -> Pp.t) ->
  unit Proofview.tactic ->
  unit Proofview.tactic