Up

module Path

: sig
#
type t =
# | Pident of Ident.t
# | Pdot of t * string * int
# | Papply of t * t
#
val same : t -> t -> bool
#
val isfree : Ident.t -> t -> bool
#
val binding_time : t -> int
#
val nopos : int
#
val name : ?paren:(string -> bool) -> t -> string
#
val head : t -> Ident.t
#
val last : t -> string
#
val to_string_list : t -> string list
#
module PathMap : Map.S with type key = t
end