You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.coqdeplib
Loadpath.Filename
type t
val make : filename -> t
val repr : t -> filename
val dirname : t -> dirname
Guaranteed to be absolute, as if obtained through absolute_dir
absolute_dir