package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Nametab.GlobDirRef`Source

to this type are mapped DirPath.t's in the nametab

Sourcetype t =

| DirOpenModule of Names.ModPath.t
| DirOpenModtype of Names.ModPath.t
| DirOpenSection of Libnames.full_path

Sourceval equal : t -> t -> bool