Module Ocaml_typing.PathSource

Sourcetype t =
  1. | Pident of Ident.t
  2. | Pdot of t * string
  3. | Papply of t * t
Sourceval same : t -> t -> bool
Sourceval compare : t -> t -> int
Sourceval find_free_opt : Ident.t list -> t -> Ident.t option
Sourceval exists_free : Ident.t list -> t -> bool
Sourceval scope : t -> int
Sourceval flatten : t -> [ `Contains_apply | `Ok of Ident.t * string list ]
Sourceval name : ?paren:(string -> bool) -> t -> string
Sourceval head : t -> Ident.t
Sourceval print : Format.formatter -> t -> unit
Sourceval heads : t -> Ident.t list
Sourceval last : t -> string
Sourceval is_uident : string -> bool
Sourcetype typath =
  1. | Regular of t
  2. | Ext of t * string
  3. | LocalExt of Ident.t
  4. | Cstr of t * string
Sourceval constructor_typath : t -> typath
Sourceval is_constructor_typath : t -> bool
Sourcemodule Map : Map.S with type key = t
Sourcemodule Set : Set.S with type elt = t