You can search for identifiers within the package.
in-package search v0.2.0
coq-core.engine
Proofview_monad.Status
Lens to the tactic status (true if safe, false if unsafe)
true
false
val put : bool -> unit Logical.t