You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.coqdeplib
Coqdeplib.Error
val cannot_parse : loc:Loc.t -> 'a
val cannot_open_project_file : string -> 'a
val cannot_parse_project_file : string -> string -> 'a
val cannot_open : string -> string -> 'a