You can search for identifiers within the package.
in-package search v0.2.0
nsatz_plugin
Nsatz_plugin.Nsatz
val nsatz_compute : Constr.t -> unit Proofview.tactic