package override

You can search for identifiers within the package.

in-package search v0.2.0

override.ast_wrapper
- Ast_wrapper
  - Ast_definitions
    
    Types
  - Ast_types
  - S
    
    Types
  - Signature
  - Signature_types
  - Structure
  - Structure_types
override.core_type_equiv
- Core_type_equiv
override.parsetree_of_types
- Parsetree_of_types
override.parsetree_show
- Parsetree_show
  - Asttypes
  - Lexing
  - Location
  - Longident
  - Parsetree

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include Longident end with type t := Longident.t

val flatten : Longident.t -> string list

val unflatten : string list -> Longident.t option

For a non-empty list l, unflatten l is Some lid where lid is the long identifier created by concatenating the elements of l with Ldot. unflatten [] is None.

val last : Longident.t -> string

val parse : string -> Longident.t

This function is broken on identifiers that are not just "Word.Word.word"; for example, it returns incorrect results on infix operators and extended module paths.

If you want to generate long identifiers that are a list of dot-separated identifiers, the function unflatten is safer and faster. unflatten is available since OCaml 4.06.0.

If you want to parse any identifier correctly, use the long-identifiers functions from the Parse module, in particular Parse.longident. They are available since OCaml 4.11, and also provide proper input-location support.

deprecated this function may misparse its input, use "Parse.longident" or "Longident.unflatten"

To print a longident, see Pprintast.longident, using Format.asprintf to convert to a string.

type t = Longident.t =

| Lident of string
| Ldot of t * string
| Lapply of t * t