Names.DirPath
Type of directory paths. Essentially a list of module identifiers. The order is reversed to improve sharing. E.g. A.B.C is "C";"B";"A"
val hash : t -> int
Hash over directory paths.
val empty : t
The empty directory path.
val is_empty : t -> bool
Test whether a directory path is empty.
val dummy : t
Used in Safe_typing.empty_environment
and similar
val hcons : t Hashcons.f
Hashconsing of directory paths.
val to_string : t -> string
Print non-empty directory paths as "root.module.submodule"