Module `Names.ModPath`

type t = | MPfile of DirPath.t | MPbound of MBId.t | MPdot of t * Label.t

val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val is_bound : t -> bool
val dummy : t: (= MPfile DirPath.dummy)

val dp : t -> DirPath.t
val to_string : t -> string: Converts a identifier into an string.

val print : t -> Pp.t: Pretty-printer.

val debug_to_string : t -> string: Same as to_string, but outputs extra information related to debug.