package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 5.1.1

Install

sha256=57f7b382b3d71198413ede405d95ef3506f1cdc480cda1dca1e26b37cb090e17

type t =

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

and extra_ty =

val same : t -> t -> bool

val compare : t -> t -> int

val compare_extra : extra_ty -> extra_ty -> int

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

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

val scope : t -> int

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

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

val head : t -> Ident.t

val print : Format.formatter -> t -> unit

val heads : t -> Ident.t list

val last : t -> string

val is_constructor_typath : t -> bool

module Map : Map.S with type key = t

module Set : Set.S with type elt = t