Module Rotor_path

include module type of struct include Compiler_import.Path end
type t = Path.t =
  1. | Pident of Ident.t
  2. | Pdot of t * string
  3. | Papply of t * t
val same : t -> t -> bool
val compare : t -> t -> int
val find_free_opt : Ident.t list -> t -> Ident.t option
val exists_free : Ident.t list -> t -> bool
val scope : t -> int
val flatten : t -> [ `Contains_apply | `Ok of Ident.t * string list ]
val name : ?paren:(string -> bool) -> t -> string
val head : t -> Ident.t
val print : Format.formatter -> t -> unit
val heads : t -> Ident.t list
val last : t -> string
type typath = Path.typath =
  1. | Regular of t
  2. | Ext of t * string
  3. | LocalExt of Ident.t
  4. | Cstr of t * string
val constructor_typath : t -> typath
val is_constructor_typath : t -> bool
module Map = Path.Map
module Set = Path.Set
val drop : t -> t -> Compiler_import.Longident.t option
val to_longident : t -> Compiler_import.Longident.t
val dest_ident : t -> Compiler_import.Ident.t
val dest_dot : t -> t * string
val dest_apply : t -> t * t
val dot_map : ?hd:(t -> t) -> ?tl:(string -> string) -> t -> t
val all_prefixes : ?self:bool -> t -> t list