• en

Module Path

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