Module `Ocaml_typing.Path`

type t =

| Pident of Ocaml_typing.Ident.t
(*
Examples: x, List, int
*)
| Pdot of Ocaml_typing.Path.t * string
(*
Examples: List.map, Float.Array
*)
| Papply of Ocaml_typing.Path.t * Ocaml_typing.Path.t
(*
Examples: Set.Make(Int), Map.Make(Set.Make(Int))
*)
| Pextra_ty of Ocaml_typing.Path.t * Ocaml_typing.Path.extra_ty
(*
Pextra_ty (p, extra) are additional paths of types introduced by specific OCaml constructs. See below.
*)

and extra_ty =

| Pcstr_ty of string
(*
Pextra_ty (p, Pcstr_ty c) is the type of the inline record for constructor c inside type p.
For example, in
```
  type 'a t = Nil | Cons of {hd : 'a; tl : 'a t}
```
The inline record type {hd : 'a; tl : 'a t} cannot be named by the user in the surface syntax, but internally it has the path Pextra_ty (Pident `t`, Pcstr_ty "Cons").
*)
| Pext_ty
(*
Pextra_ty (p, Pext_ty) is the type of the inline record for the extension constructor p.
For example, in
```
  type exn += Error of {loc : loc; msg : string}
```
The inline record type {loc : loc; msg : string} cannot be named by the user in the surface syntax, but internally it has the path Pextra_ty (Pident `Error`, Pext_ty).
*)
| Punboxed_ty
(*
Pextra_ty (p, Punboxed_ty) is the type of the unboxed version of p.
Example: float#, or t# given type t = { i : int ; s : string }.
*)

val unboxed_version : Ocaml_typing.Path.t -> Ocaml_typing.Path.t

val is_unboxed_version : Ocaml_typing.Path.t -> bool

val same : Ocaml_typing.Path.t -> Ocaml_typing.Path.t -> bool

val compare : Ocaml_typing.Path.t -> Ocaml_typing.Path.t -> int

val compare_extra : 
  Ocaml_typing.Path.extra_ty ->
  Ocaml_typing.Path.extra_ty ->
  int

val find_free_opt : 
  Ocaml_typing.Ident.t list ->
  Ocaml_typing.Path.t ->
  Ocaml_typing.Ident.t option

val exists_free : Ocaml_typing.Ident.t list -> Ocaml_typing.Path.t -> bool

val scope : Ocaml_typing.Path.t -> int

val flatten : 
  Ocaml_typing.Path.t ->
  [ `Contains_apply | `Ok of Ocaml_typing.Ident.t * string list ]

val name : ?paren:(string -> bool) -> Ocaml_typing.Path.t -> string

val head : Ocaml_typing.Path.t -> Ocaml_typing.Ident.t

val print : Stdlib.Format.formatter -> Ocaml_typing.Path.t -> unit

val heads : Ocaml_typing.Path.t -> Ocaml_typing.Ident.t list

val last : Ocaml_typing.Path.t -> string

val is_constructor_typath : Ocaml_typing.Path.t -> bool

module Map : Stdlib.Map.S with type key = Ocaml_typing.Path.t

module Set : Stdlib.Set.S with type elt = Ocaml_typing.Path.t

Module Ocaml_typing.Path