You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.interp
Reserve
val declare_reserved_type : Names.lident list -> Notation_term.notation_constr -> unit
val find_reserved_type : Names.Id.t -> Notation_term.notation_constr