package ocaml-base-compiler

  1. Overview
  2. Docs
type t =
  1. | Pident of Ident.t
  2. | Pdot of t * string * int
  3. | Papply of t * t
val same : t -> t -> bool
val compare : t -> t -> int
val isfree : Ident.t -> t -> bool
val binding_time : t -> int
val flatten : t -> [ `Contains_apply | `Ok of Ident.t * string list ]
val nopos : int
val name : ?paren:(string -> bool) -> t -> string
val head : t -> Ident.t
val heads : t -> Ident.t list
val last : t -> string
type typath =
  1. | Regular of t
  2. | Ext of t * string
  3. | LocalExt of Ident.t
  4. | Cstr of t * string
val constructor_typath : t -> typath
val is_constructor_typath : t -> bool