Nametab.GlobDirRef
to this type are mapped DirPath.t's in the nametab
DirPath.t
type t =
| DirOpenModule of Names.ModPath.t
| DirOpenModtype of Names.ModPath.t
| DirOpenSection of Libnames.full_path
val equal : t -> t -> bool