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