You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.tactics
Ind_tables.Locmap
type t
val default : Loc.t option -> t
val make : ?default:Loc.t -> Names.MutInd.t -> Loc.t option list -> t
val lookup : locmap:t -> Names.inductive -> Loc.t option