package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

package merlin-lib

merlin-lib.analysis
- Merlin_analysis
  - Browse_misc
  - Browse_tree
  - Completion
  - Construct
  - Context
  - Destruct
    
    Path_utils
  - Expansion
  - Jump
  - Locate
    
    Namespace
  - Namespaced_path
    
    Id
    
    Namespace
  - Ocamldoc
  - Outline
  - Polarity_search
    
    PathSet
  - Ptyp_of_type
  - Refactor_open
  - Tail_analysis
  - Type_enclosing
  - Type_utils
    
    Printtyp
merlin-lib.config
- Merlin_config
merlin-lib.dot_protocol
- Merlin_dot_protocol
  - Commands
  - Directive
    
    Processed
    
    Raw
merlin-lib.extend
- Merlin_extend
  - Extend_driver
  - Extend_main
    
    Description
    
    Handshake
    
    Reader
    
    Utils
  - Extend_protocol
    
    Reader
    
    V0
merlin-lib.kernel
- Merlin_kernel
  - Extension
  - Mbrowse
  - Mconfig
  - Mconfig_dot
  - Mocaml
  - Mpipeline
  - Mppx
  - Mreader
  - Mreader_explain
  - Mreader_extend
  - Mreader_lexer
  - Mreader_parser
  - Mreader_recover
    
    Make
    
    Dump
    
    Parser
    
    Recovery
  - Msource
  - Mtyper
  - Pparse
  - Standard_library
merlin-lib.ocaml_merlin_specific
- Merlin_specific
  - Browse_raw
  - Tast_helper
    
    Pat
  - Typer_raw
merlin-lib.ocaml_parsing
- Ocaml_parsing
  - Ast_helper
    
    Attr
    
    Cf
    
    Ci
    
    Cl
    
    Const
    
    Csig
    
    Cstr
    
    Ctf
    
    Cty
    
    Exp
    
    Incl
    
    Mb
    
    Md
    
    Mod
    
    Ms
    
    Mtd
    
    Mty
    
    Of
    
    Opn
    
    Pat
    
    Rf
    
    Sig
    
    Str
    
    Te
    
    Typ
    
    Type
    
    Val
    
    Vb
  - Ast_iterator
  - Ast_mapper
  - Asttypes
  - Attr_helper
  - Builtin_attributes
  - Docstrings
    
    WithMenhir
  - Extend_helper
  - Fake
    
    Lwt
    
    Meta
  - Location
  - Location_aux
  - Longident
  - Msupport_parsing
  - Parsetree
  - Pprintast
  - Printast
  - Syntaxerr
merlin-lib.ocaml_preprocess
- Ocaml_preprocess
  - Lexer_ident
  - Lexer_raw
  - MenhirLib
    
    Convert
    
    Simplified
    
    Engine
    
    Make
    
    T
    
    Log
    
    EngineTypes
    
    ENGINE
    
    INCREMENTAL_ENGINE_START
    
    MONOLITHIC_ENGINE
    
    TABLE
    
    Log
    
    ErrorReports
    
    General
    
    IncrementalEngine
    
    EVERYTHING
    
    INCREMENTAL_ENGINE
    
    INSPECTION
    
    SYMBOLS
    
    InfiniteArray
    
    InspectionTableFormat
    
    TABLES
    
    InspectionTableInterpreter
    
    Make
    
    E
    
    ET
    
    Log
    
    IT
    
    TT
    
    Symbols
    
    T
    
    LexerUtil
    
    LinearizedArray
    
    PackedIntArray
    
    Printers
    
    Make
    
    I
    
    User
    
    RowDisplacement
    
    StaticVersion
    
    TableFormat
    
    TABLES
    
    TableInterpreter
    
    MakeEngineTable
    
    Log
    
    T
  - Parser_explain
  - Parser_printer
  - Parser_raw
    
    Incremental
    
    MenhirInterpreter
  - Parser_recover
    
    Default
merlin-lib.ocaml_typing
- Ocaml_typing
  - Annot
  - Btype
    
    For_copy
    
    TransientTypeMap
    
    TypeHash
    
    TypeMap
    
    TypePairs
    
    TypeSet
  - Cmi_cache
  - Cmi_format
  - Cmt_cache
  - Cmt_format
  - Ctype
  - Datarepr
  - Env
  - Envaux
  - Errortrace
    
    Subtype
  - Ident
    
    Map
    
    Set
    
    T
    
    Tbl
  - Includeclass
  - Includecore
  - Includemod
    
    Error
    
    FieldMap
    
    Functor_app_diff
    
    Defs
    
    Functor_inclusion_diff
    
    Defs
  - Includemod_errorprinter
  - Magic_numbers
    
    Cmi
  - Msupport
  - Mtype
  - Natural
    
    Array
    
    Make
    
    Array
    
    Map
    
    Set
    
    Tbl
    
    Make_no_zero
    
    Array
    
    Map
    
    Set
    
    Tbl
    
    S
    
    Array
    
    Map
    
    Set
    
    Tbl
    
    S_no_zero
    
    Array
    
    Map
    
    Set
    
    Tbl
  - Oprint
  - Outcometree
  - Parmatch
    
    Compat
    
    _
  - Path
    
    Map
    
    Set
  - Patterns
    
    General
    
    Half_simple
    
    Head
    
    Non_empty_row
    
    Simple
  - Persistent_env
    
    Consistbl
    
    Persistent_signature
  - Predef
  - Primitive
  - Printpat
  - Printtyp
    
    Conflicts
    
    Naming_context
    
    Out_name
    
    Subtype
  - Printtyped
  - Rec_check
  - Saved_parts
  - Shape
    
    Item
    
    Map
    
    Make_reduce
    
    Context
    
    Map
    
    Sig_component_kind
    
    Uid
    
    Map
    
    Set
    
    T
    
    Tbl
  - Short_paths
    
    Basis
  - Short_paths_graph
    
    Age
    
    Array
    
    Map
    
    Set
    
    Tbl
    
    Class_type
    
    Component
    
    Dependency
    
    Array
    
    Map
    
    Set
    
    Tbl
    
    Desc
    
    Class_type
    
    Module
    
    Module_type
    
    Type
    
    Diff
    
    Item
    
    Graph
    
    Ident
    
    Ident_map
    
    Ident_set
    
    Module
    
    Module_type
    
    Origin
    
    Path
    
    Path_map
    
    Path_set
    
    Sort
    
    String_map
    
    Type
  - Signature_group
  - Stypes
  - Subst
    
    Lazy
  - Tast_iterator
  - Tast_mapper
  - Type_immediacy
    
    Violation
  - Typeclass
  - Typecore
    
    Datatype_kind
  - Typedecl
  - Typedecl_immediacy
  - Typedecl_properties
  - Typedecl_separability
  - Typedecl_unboxed
  - Typedecl_variance
  - Typedtree
  - Typemod
    
    Sig_component_kind
    
    Signature_names
  - Typeopt
  - Types
    
    MethSet
    
    Meths
    
    Separability
    
    TransientTypeOps
    
    Transient_expr
    
    VarSet
    
    Variance
    
    Vars
  - Typetexp
  - Untypeast
merlin-lib.ocaml_utils
- Ocaml_utils
  - Build_path_prefix_map
  - Clflags
  - Config
  - Consistbl
    
    Make
    
    Module_name
    
    Map
    
    Set
    
    Tbl
  - Diffing
    
    Define
    
    D
    
    Left_variadic
    
    _
    
    Parameters
    
    Right_variadic
    
    _
    
    S
    
    Simple
    
    _
    
    Defs
  - Diffing_with_keys
    
    Define
    
    D
    
    Parameters
    
    Simple
    
    _
  - Directory_content_cache
  - Identifiable
    
    Make
    
    Map
    
    Set
    
    T
    
    Tbl
    
    Pair
    
    A
    
    B
    
    S
    
    Map
    
    Set
    
    T
    
    Tbl
    
    Thing
  - Lazy_backtrack
  - Load_path
    
    Dir
  - Local_store
  - Tbl
  - Warnings
merlin-lib.os_ipc
- Os_ipc
merlin-lib.query_commands
- Query_commands
merlin-lib.query_protocol
- Query_protocol
  - Compl
merlin-lib.utils
- Merlin_utils
  - File_cache
    
    Make
    
    Input
  - File_id
  - Logger
  - Marg
  - Misc
    
    Color
    
    Int_literal_converter
    
    LongString
    
    String
    
    Map
    
    Set
    
    Tbl
  - Ppxsetup
  - Sexp
  - Std
    
    Char
    
    Format
    
    Glob
    
    Hashtbl
    
    Json
    
    Lexing
    
    List
    
    Lazy
    
    Option
    
    Infix
    
    Result
    
    Shell
    
    String
    
    Map
    
    Set

Legend:
Library
Module
Module type
Parameter
Class
Class type

include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE with type token = token

type token = token

type production

type 'a env

type 'a checkpoint = private

| InputNeeded of 'a env
| Shifting of 'a env * 'a env * bool
| AboutToReduce of 'a env * production
| HandlingError of 'a env
| Accepted of 'a
| Rejected

val offer : 
  'a checkpoint ->
  (token
   * MenhirLib.IncrementalEngine.position
   * MenhirLib.IncrementalEngine.position) ->
  'a checkpoint

type strategy = [

| `Legacy
| `Simplified

]

val resume : ?strategy:strategy -> 'a checkpoint -> 'a checkpoint

type supplier =
  unit ->
  token
  * MenhirLib.IncrementalEngine.position
  * MenhirLib.IncrementalEngine.position

val lexer_lexbuf_to_supplier : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  supplier

val loop : ?strategy:strategy -> supplier -> 'a checkpoint -> 'a

val loop_handle : 
  ('a -> 'answer) ->
  ('a checkpoint -> 'answer) ->
  supplier ->
  'a checkpoint ->
  'answer

val loop_handle_undo : 
  ('a -> 'answer) ->
  ('a checkpoint -> 'a checkpoint -> 'answer) ->
  supplier ->
  'a checkpoint ->
  'answer

val shifts : 'a checkpoint -> 'a env option

val acceptable : 
  'a checkpoint ->
  token ->
  MenhirLib.IncrementalEngine.position ->
  bool

type 'a lr1state

val number : _ lr1state -> int

val production_index : production -> int

val find_production : int -> production

type element =

| Element : 'a lr1state * 'a * MenhirLib.IncrementalEngine.position * MenhirLib.IncrementalEngine.position -> element

type stack = element MenhirLib.General.stream

val stack : 'a env -> stack

val top : 'a env -> element option

val pop_many : int -> 'a env -> 'a env option

val get : int -> 'a env -> element option

val current_state_number : 'a env -> int

val equal : 'a env -> 'a env -> bool

val positions : 
  'a env ->
  MenhirLib.IncrementalEngine.position * MenhirLib.IncrementalEngine.position

val env_has_default_reduction : 'a env -> bool

val state_has_default_reduction : _ lr1state -> bool

val pop : 'a env -> 'a env option

val force_reduction : production -> 'a env -> 'a env

val input_needed : 'a env -> 'a checkpoint

type _ terminal =

| T_error : unit terminal
| T_WITH : unit terminal
| T_WHILE_LWT : unit terminal
| T_WHILE : unit terminal
| T_WHEN : unit terminal
| T_VIRTUAL : unit terminal
| T_VAL : unit terminal
| T_UNDERSCORE : unit terminal
| T_UIDENT : string terminal
| T_TYPE : unit terminal
| T_TRY_LWT : unit terminal
| T_TRY : unit terminal
| T_TRUE : unit terminal
| T_TO : unit terminal
| T_TILDE : unit terminal
| T_THEN : unit terminal
| T_STRUCT : unit terminal
| T_STRING : (string * Ocaml_parsing.Location.t * string option) terminal
| T_STAR : unit terminal
| T_SIG : unit terminal
| T_SEMISEMI : unit terminal
| T_SEMI : unit terminal
| T_RPAREN : unit terminal
| T_REC : unit terminal
| T_RBRACKET : unit terminal
| T_RBRACE : unit terminal
| T_QUOTED_STRING_ITEM : (string * Ocaml_parsing.Location.t * string * Ocaml_parsing.Location.t * string option) terminal
| T_QUOTED_STRING_EXPR : (string * Ocaml_parsing.Location.t * string * Ocaml_parsing.Location.t * string option) terminal
| T_QUOTE : unit terminal
| T_QUESTIONQUESTION : unit terminal
| T_QUESTION : unit terminal
| T_PRIVATE : unit terminal
| T_PREFIXOP : string terminal
| T_PLUSEQ : unit terminal
| T_PLUSDOT : unit terminal
| T_PLUS : unit terminal
| T_PERCENT : unit terminal
| T_OR : unit terminal
| T_OPTLABEL : string terminal
| T_OPEN : unit terminal
| T_OF : unit terminal
| T_OBJECT : unit terminal
| T_NONREC : unit terminal
| T_NEW : unit terminal
| T_MUTABLE : unit terminal
| T_MODULE : unit terminal
| T_MINUSGREATER : unit terminal
| T_MINUSDOT : unit terminal
| T_MINUS : unit terminal
| T_METHOD : unit terminal
| T_MATCH_LWT : unit terminal
| T_MATCH : unit terminal
| T_LPAREN : unit terminal
| T_LIDENT : string terminal
| T_LET_LWT : unit terminal
| T_LETOP : string terminal
| T_LET : unit terminal
| T_LESSMINUS : unit terminal
| T_LESS : unit terminal
| T_LBRACKETPERCENTPERCENT : unit terminal
| T_LBRACKETPERCENT : unit terminal
| T_LBRACKETLESS : unit terminal
| T_LBRACKETGREATER : unit terminal
| T_LBRACKETBAR : unit terminal
| T_LBRACKETATATAT : unit terminal
| T_LBRACKETATAT : unit terminal
| T_LBRACKETAT : unit terminal
| T_LBRACKET : unit terminal
| T_LBRACELESS : unit terminal
| T_LBRACE : unit terminal
| T_LAZY : unit terminal
| T_LABEL : string terminal
| T_INT : (string * char option) terminal
| T_INITIALIZER : unit terminal
| T_INHERIT : unit terminal
| T_INFIXOP4 : string terminal
| T_INFIXOP3 : string terminal
| T_INFIXOP2 : string terminal
| T_INFIXOP1 : string terminal
| T_INFIXOP0 : string terminal
| T_INCLUDE : unit terminal
| T_IN : unit terminal
| T_IF : unit terminal
| T_HASHOP : string terminal
| T_HASH : unit terminal
| T_GREATERRBRACKET : unit terminal
| T_GREATERRBRACE : unit terminal
| T_GREATERDOT : unit terminal
| T_GREATER : unit terminal
| T_FUNCTOR : unit terminal
| T_FUNCTION : unit terminal
| T_FUN : unit terminal
| T_FOR_LWT : unit terminal
| T_FOR : unit terminal
| T_FLOAT : (string * char option) terminal
| T_FINALLY_LWT : unit terminal
| T_FALSE : unit terminal
| T_EXTERNAL : unit terminal
| T_EXCEPTION : unit terminal
| T_EQUAL : unit terminal
| T_EOL : unit terminal
| T_EOF : unit terminal
| T_END : unit terminal
| T_ELSE : unit terminal
| T_DOWNTO : unit terminal
| T_DOTTILDE : unit terminal
| T_DOTOP : string terminal
| T_DOTLESS : unit terminal
| T_DOTDOT : unit terminal
| T_DOT : unit terminal
| T_DONE : unit terminal
| T_DOCSTRING : Ocaml_parsing.Docstrings.docstring terminal
| T_DO : unit terminal
| T_CONSTRAINT : unit terminal
| T_COMMENT : (string * Ocaml_parsing.Location.t) terminal
| T_COMMA : unit terminal
| T_COLONGREATER : unit terminal
| T_COLONEQUAL : unit terminal
| T_COLONCOLON : unit terminal
| T_COLON : unit terminal
| T_CLASS : unit terminal
| T_CHAR : char terminal
| T_BEGIN : unit terminal
| T_BARRBRACKET : unit terminal
| T_BARBAR : unit terminal
| T_BAR : unit terminal
| T_BANG : unit terminal
| T_BACKQUOTE : unit terminal
| T_ASSERT : unit terminal
| T_AS : unit terminal
| T_ANDOP : string terminal
| T_AND : unit terminal
| T_AMPERSAND : unit terminal
| T_AMPERAMPER : unit terminal

type _ nonterminal =

| N_with_type_binder : Ocaml_parsing.Asttypes.private_flag nonterminal
| N_with_constraint : Ocaml_parsing.Parsetree.with_constraint nonterminal
| N_virtual_with_private_flag : Ocaml_parsing.Asttypes.private_flag nonterminal
| N_virtual_with_mutable_flag : Ocaml_parsing.Asttypes.mutable_flag nonterminal
| N_virtual_flag : Ocaml_parsing.Asttypes.virtual_flag nonterminal
| N_value_description : (Ocaml_parsing.Parsetree.value_description * string Ocaml_parsing.Location.loc option) nonterminal
| N_value : ((string Ocaml_parsing.Location.loc * Ocaml_parsing.Asttypes.mutable_flag * Ocaml_parsing.Parsetree.class_field_kind) * Ocaml_parsing.Parsetree.attributes) nonterminal
| N_val_longident : Ocaml_parsing.Longident.t nonterminal
| N_val_ident : string nonterminal
| N_val_extra_ident : string nonterminal
| N_use_file : Ocaml_parsing.Parsetree.toplevel_phrase list nonterminal
| N_type_variance : (Ocaml_parsing.Asttypes.variance * Ocaml_parsing.Asttypes.injectivity) nonterminal
| N_type_variable : Ocaml_parsing.Parsetree.core_type nonterminal
| N_type_parameters : (Ocaml_parsing.Parsetree.core_type * (Ocaml_parsing.Asttypes.variance * Ocaml_parsing.Asttypes.injectivity)) list nonterminal
| N_type_parameter : (Ocaml_parsing.Parsetree.core_type * (Ocaml_parsing.Asttypes.variance * Ocaml_parsing.Asttypes.injectivity)) nonterminal
| N_type_longident : Ocaml_parsing.Longident.t nonterminal
| N_type_kind : (Ocaml_parsing.Parsetree.type_kind * Ocaml_parsing.Asttypes.private_flag * Ocaml_parsing.Parsetree.core_type option) nonterminal
| N_type_constraint : (Ocaml_parsing.Parsetree.core_type option * Ocaml_parsing.Parsetree.core_type option) nonterminal
| N_tuple_type : Ocaml_parsing.Parsetree.core_type nonterminal
| N_toplevel_phrase : Ocaml_parsing.Parsetree.toplevel_phrase nonterminal
| N_toplevel_directive : Ocaml_parsing.Parsetree.toplevel_phrase nonterminal
| N_tag_field : Ocaml_parsing.Parsetree.row_field nonterminal
| N_subtractive : string nonterminal
| N_structure_item : Ocaml_parsing.Parsetree.structure_item nonterminal
| N_structure : Ocaml_parsing.Parsetree.structure nonterminal
| N_strict_binding : Ocaml_parsing.Parsetree.expression nonterminal
| N_str_exception_declaration : (Ocaml_parsing.Parsetree.type_exception * string Ocaml_parsing.Location.loc option) nonterminal
| N_single_attr_id : string nonterminal
| N_simple_pattern_not_ident : Ocaml_parsing.Parsetree.pattern nonterminal
| N_simple_pattern : Ocaml_parsing.Parsetree.pattern nonterminal
| N_simple_expr : Ocaml_parsing.Parsetree.expression nonterminal
| N_simple_delimited_pattern : Ocaml_parsing.Parsetree.pattern nonterminal
| N_signed_constant : Ocaml_parsing.Parsetree.constant nonterminal
| N_signature_item : Ocaml_parsing.Parsetree.signature_item nonterminal
| N_signature : Ocaml_parsing.Parsetree.signature nonterminal
| N_sig_exception_declaration : (Ocaml_parsing.Parsetree.type_exception * string Ocaml_parsing.Location.loc option) nonterminal
| N_seq_expr : Ocaml_parsing.Parsetree.expression nonterminal
| N_separated_or_terminated_nonempty_list_SEMI_record_expr_field_ : (Ocaml_parsing.Longident.t Ocaml_parsing.Location.loc * Ocaml_parsing.Parsetree.expression) list nonterminal
| N_separated_or_terminated_nonempty_list_SEMI_pattern_ : Ocaml_parsing.Parsetree.pattern list nonterminal
| N_separated_or_terminated_nonempty_list_SEMI_object_expr_field_ : (string Ocaml_parsing.Location.loc * Ocaml_parsing.Parsetree.expression) list nonterminal
| N_separated_or_terminated_nonempty_list_SEMI_expr_ : Ocaml_parsing.Parsetree.expression list nonterminal
| N_row_field : Ocaml_parsing.Parsetree.row_field nonterminal
| N_reversed_separated_nontrivial_llist_STAR_atomic_type_ : Ocaml_parsing.Parsetree.core_type list nonterminal
| N_reversed_separated_nontrivial_llist_COMMA_expr_ : Ocaml_parsing.Parsetree.expression list nonterminal
| N_reversed_separated_nontrivial_llist_COMMA_core_type_ : Ocaml_parsing.Parsetree.core_type list nonterminal
| N_reversed_separated_nonempty_llist_STAR_atomic_type_ : Ocaml_parsing.Parsetree.core_type list nonterminal
| N_reversed_separated_nonempty_llist_COMMA_type_parameter_ : (Ocaml_parsing.Parsetree.core_type * (Ocaml_parsing.Asttypes.variance * Ocaml_parsing.Asttypes.injectivity)) list nonterminal
| N_reversed_separated_nonempty_llist_COMMA_core_type_ : Ocaml_parsing.Parsetree.core_type list nonterminal
| N_reversed_separated_nonempty_llist_BAR_row_field_ : Ocaml_parsing.Parsetree.row_field list nonterminal
| N_reversed_separated_nonempty_llist_AND_with_constraint_ : Ocaml_parsing.Parsetree.with_constraint list nonterminal
| N_reversed_separated_nonempty_llist_AMPERSAND_core_type_no_attr_ : Ocaml_parsing.Parsetree.core_type list nonterminal
| N_reversed_preceded_or_separated_nonempty_llist_BAR_match_case_ : Ocaml_parsing.Parsetree.case list nonterminal
| N_reversed_nonempty_llist_typevar_ : string Ocaml_parsing.Location.loc list nonterminal
| N_reversed_nonempty_llist_name_tag_ : string list nonterminal
| N_reversed_nonempty_llist_labeled_simple_expr_ : (Ocaml_parsing.Asttypes.arg_label * Ocaml_parsing.Parsetree.expression) list nonterminal
| N_reversed_nonempty_llist_functor_arg_ : (Lexing.position * Ocaml_parsing.Parsetree.functor_parameter) list nonterminal
| N_reversed_llist_preceded_CONSTRAINT_constrain__ : (Ocaml_parsing.Parsetree.core_type * Ocaml_parsing.Parsetree.core_type * Ocaml_parsing.Location.t) list nonterminal
| N_reversed_bar_llist_extension_constructor_declaration_ : Ocaml_parsing.Parsetree.extension_constructor list nonterminal
| N_reversed_bar_llist_extension_constructor_ : Ocaml_parsing.Parsetree.extension_constructor list nonterminal
| N_reversed_bar_llist_constructor_declaration_ : Ocaml_parsing.Parsetree.constructor_declaration list nonterminal
| N_record_expr_content : (Ocaml_parsing.Parsetree.expression option * (Ocaml_parsing.Longident.t Ocaml_parsing.Location.loc * Ocaml_parsing.Parsetree.expression) list) nonterminal
| N_rec_flag : Ocaml_parsing.Asttypes.rec_flag nonterminal
| N_private_virtual_flags : (Ocaml_parsing.Asttypes.private_flag * Ocaml_parsing.Asttypes.virtual_flag) nonterminal
| N_private_flag : Ocaml_parsing.Asttypes.private_flag nonterminal
| N_primitive_declaration : (Ocaml_parsing.Parsetree.value_description * string Ocaml_parsing.Location.loc option) nonterminal
| N_post_item_attribute : Ocaml_parsing.Parsetree.attribute nonterminal
| N_possibly_poly_core_type_no_attr_ : Ocaml_parsing.Parsetree.core_type nonterminal
| N_possibly_poly_core_type_ : Ocaml_parsing.Parsetree.core_type nonterminal
| N_payload : Ocaml_parsing.Parsetree.payload nonterminal
| N_pattern_var : Ocaml_parsing.Parsetree.pattern nonterminal
| N_pattern_no_exn : Ocaml_parsing.Parsetree.pattern nonterminal
| N_pattern_gen : Ocaml_parsing.Parsetree.pattern nonterminal
| N_pattern_comma_list_pattern_no_exn_ : Ocaml_parsing.Parsetree.pattern list nonterminal
| N_pattern_comma_list_pattern_ : Ocaml_parsing.Parsetree.pattern list nonterminal
| N_pattern : Ocaml_parsing.Parsetree.pattern nonterminal
| N_parse_val_longident : Ocaml_parsing.Longident.t nonterminal
| N_parse_pattern : Ocaml_parsing.Parsetree.pattern nonterminal
| N_parse_mty_longident : Ocaml_parsing.Longident.t nonterminal
| N_parse_module_type : Ocaml_parsing.Parsetree.module_type nonterminal
| N_parse_module_expr : Ocaml_parsing.Parsetree.module_expr nonterminal
| N_parse_mod_longident : Ocaml_parsing.Longident.t nonterminal
| N_parse_mod_ext_longident : Ocaml_parsing.Longident.t nonterminal
| N_parse_expression : Ocaml_parsing.Parsetree.expression nonterminal
| N_parse_core_type : Ocaml_parsing.Parsetree.core_type nonterminal
| N_parse_constr_longident : Ocaml_parsing.Longident.t nonterminal
| N_parse_any_longident : Ocaml_parsing.Longident.t nonterminal
| N_paren_module_expr : Ocaml_parsing.Parsetree.module_expr nonterminal
| N_optlabel : string nonterminal
| N_option_type_constraint_ : (Ocaml_parsing.Parsetree.core_type option * Ocaml_parsing.Parsetree.core_type option) option nonterminal
| N_option_preceded_EQUAL_seq_expr__ : Ocaml_parsing.Parsetree.expression option nonterminal
| N_option_preceded_EQUAL_pattern__ : Ocaml_parsing.Parsetree.pattern option nonterminal
| N_option_preceded_EQUAL_module_type__ : Ocaml_parsing.Parsetree.module_type option nonterminal
| N_option_preceded_EQUAL_expr__ : Ocaml_parsing.Parsetree.expression option nonterminal
| N_option_preceded_COLON_core_type__ : Ocaml_parsing.Parsetree.core_type option nonterminal
| N_option_preceded_AS_mkrhs_LIDENT___ : string Ocaml_parsing.Location.loc option nonterminal
| N_option_SEMI_ : unit option nonterminal
| N_option_BAR_ : unit option nonterminal
| N_opt_ampersand : bool nonterminal
| N_operator : string nonterminal
| N_open_description : (Ocaml_parsing.Longident.t Ocaml_parsing.Location.loc Ocaml_parsing.Parsetree.open_infos * string Ocaml_parsing.Location.loc option) nonterminal
| N_open_declaration : (Ocaml_parsing.Parsetree.module_expr Ocaml_parsing.Parsetree.open_infos * string Ocaml_parsing.Location.loc option) nonterminal
| N_nonempty_type_kind : (Ocaml_parsing.Parsetree.type_kind * Ocaml_parsing.Asttypes.private_flag * Ocaml_parsing.Parsetree.core_type option) nonterminal
| N_nonempty_list_raw_string_ : string list nonterminal
| N_nonempty_list_mkrhs_LIDENT__ : string Ocaml_parsing.Location.loc list nonterminal
| N_name_tag : string nonterminal
| N_mutable_virtual_flags : (Ocaml_parsing.Asttypes.mutable_flag * Ocaml_parsing.Asttypes.virtual_flag) nonterminal
| N_mutable_flag : Ocaml_parsing.Asttypes.mutable_flag nonterminal
| N_mty_longident : Ocaml_parsing.Longident.t nonterminal
| N_module_type_subst : (Ocaml_parsing.Parsetree.module_type_declaration * string Ocaml_parsing.Location.loc option) nonterminal
| N_module_type_declaration : (Ocaml_parsing.Parsetree.module_type_declaration * string Ocaml_parsing.Location.loc option) nonterminal
| N_module_type : Ocaml_parsing.Parsetree.module_type nonterminal
| N_module_subst : (Ocaml_parsing.Parsetree.module_substitution * string Ocaml_parsing.Location.loc option) nonterminal
| N_module_name : string option nonterminal
| N_module_expr : Ocaml_parsing.Parsetree.module_expr nonterminal
| N_module_declaration_body : Ocaml_parsing.Parsetree.module_type nonterminal
| N_module_binding_body : Ocaml_parsing.Parsetree.module_expr nonterminal
| N_mod_longident : Ocaml_parsing.Longident.t nonterminal
| N_mod_ext_longident : Ocaml_parsing.Longident.t nonterminal
| N_mk_longident_mod_longident_val_ident_ : Ocaml_parsing.Longident.t nonterminal
| N_mk_longident_mod_longident_UIDENT_ : Ocaml_parsing.Longident.t nonterminal
| N_mk_longident_mod_longident_LIDENT_ : Ocaml_parsing.Longident.t nonterminal
| N_mk_longident_mod_ext_longident_ident_ : Ocaml_parsing.Longident.t nonterminal
| N_mk_longident_mod_ext_longident___anonymous_41_ : Ocaml_parsing.Longident.t nonterminal
| N_mk_longident_mod_ext_longident_UIDENT_ : Ocaml_parsing.Longident.t nonterminal
| N_mk_longident_mod_ext_longident_LIDENT_ : Ocaml_parsing.Longident.t nonterminal
| N_method_ : ((string Ocaml_parsing.Location.loc * Ocaml_parsing.Asttypes.private_flag * Ocaml_parsing.Parsetree.class_field_kind) * Ocaml_parsing.Parsetree.attributes) nonterminal
| N_meth_list : (Ocaml_parsing.Parsetree.object_field list * Ocaml_parsing.Asttypes.closed_flag) nonterminal
| N_match_case : Ocaml_parsing.Parsetree.case nonterminal
| N_lwt_bindings : Ocaml_parsing.Ast_helper.let_bindings nonterminal
| N_lwt_binding : Ocaml_parsing.Ast_helper.let_bindings nonterminal
| N_listx_SEMI_record_pat_field_UNDERSCORE_ : ((Ocaml_parsing.Longident.t Ocaml_parsing.Location.loc * Ocaml_parsing.Parsetree.pattern) list * unit option) nonterminal
| N_list_use_file_element_ : Ocaml_parsing.Parsetree.toplevel_phrase list list nonterminal
| N_list_text_str_structure_item__ : Ocaml_parsing.Parsetree.structure_item list list nonterminal
| N_list_text_cstr_class_field__ : Ocaml_parsing.Parsetree.class_field list list nonterminal
| N_list_text_csig_class_sig_field__ : Ocaml_parsing.Parsetree.class_type_field list list nonterminal
| N_list_structure_element_ : Ocaml_parsing.Parsetree.structure_item list list nonterminal
| N_list_signature_element_ : Ocaml_parsing.Parsetree.signature_item list list nonterminal
| N_list_post_item_attribute_ : Ocaml_parsing.Parsetree.attributes nonterminal
| N_list_generic_and_type_declaration_type_subst_kind__ : Ocaml_parsing.Parsetree.type_declaration list nonterminal
| N_list_generic_and_type_declaration_type_kind__ : Ocaml_parsing.Parsetree.type_declaration list nonterminal
| N_list_attribute_ : Ocaml_parsing.Parsetree.attributes nonterminal
| N_list_and_module_declaration_ : Ocaml_parsing.Parsetree.module_declaration list nonterminal
| N_list_and_module_binding_ : Ocaml_parsing.Parsetree.module_binding list nonterminal
| N_list_and_class_type_declaration_ : Ocaml_parsing.Parsetree.class_type Ocaml_parsing.Parsetree.class_infos list nonterminal
| N_list_and_class_description_ : Ocaml_parsing.Parsetree.class_type Ocaml_parsing.Parsetree.class_infos list nonterminal
| N_list_and_class_declaration_ : Ocaml_parsing.Parsetree.class_expr Ocaml_parsing.Parsetree.class_infos list nonterminal
| N_letop_bindings : (Ocaml_parsing.Parsetree.pattern * Ocaml_parsing.Parsetree.expression * Ocaml_parsing.Parsetree.binding_op list) nonterminal
| N_letop_binding_body : (Ocaml_parsing.Parsetree.pattern * Ocaml_parsing.Parsetree.expression) nonterminal
| N_let_pattern : Ocaml_parsing.Parsetree.pattern nonterminal
| N_let_bindings_no_ext_ : Ocaml_parsing.Ast_helper.let_bindings nonterminal
| N_let_bindings_ext_ : Ocaml_parsing.Ast_helper.let_bindings nonterminal
| N_let_binding_body_no_punning : (Ocaml_parsing.Parsetree.pattern * Ocaml_parsing.Parsetree.expression) nonterminal
| N_let_binding_body : (Ocaml_parsing.Parsetree.pattern * Ocaml_parsing.Parsetree.expression * bool) nonterminal
| N_labeled_simple_pattern : (Ocaml_parsing.Asttypes.arg_label * Ocaml_parsing.Parsetree.expression option * Ocaml_parsing.Parsetree.pattern) nonterminal
| N_labeled_simple_expr : (Ocaml_parsing.Asttypes.arg_label * Ocaml_parsing.Parsetree.expression) nonterminal
| N_label_longident : Ocaml_parsing.Longident.t nonterminal
| N_label_let_pattern : (string * Ocaml_parsing.Parsetree.pattern) nonterminal
| N_label_declarations : Ocaml_parsing.Parsetree.label_declaration list nonterminal
| N_label_declaration_semi : Ocaml_parsing.Parsetree.label_declaration nonterminal
| N_label_declaration : Ocaml_parsing.Parsetree.label_declaration nonterminal
| N_item_extension : Ocaml_parsing.Parsetree.extension nonterminal
| N_interface : Ocaml_parsing.Parsetree.signature nonterminal
| N_index_mod : string nonterminal
| N_implementation : Ocaml_parsing.Parsetree.structure nonterminal
| N_ident : string nonterminal
| N_generic_type_declaration_nonrec_flag_type_kind_ : ((Ocaml_parsing.Asttypes.rec_flag * string Ocaml_parsing.Location.loc option) * Ocaml_parsing.Parsetree.type_declaration) nonterminal
| N_generic_type_declaration_no_nonrec_flag_type_subst_kind_ : ((Ocaml_parsing.Asttypes.rec_flag * string Ocaml_parsing.Location.loc option) * Ocaml_parsing.Parsetree.type_declaration) nonterminal
| N_generic_constructor_declaration_epsilon_ : (Ocaml_parsing.Ast_helper.str * Ocaml_parsing.Ast_helper.str list * Ocaml_parsing.Parsetree.constructor_arguments * Ocaml_parsing.Parsetree.core_type option * Ocaml_parsing.Parsetree.attributes * Ocaml_parsing.Location.t * Ocaml_parsing.Docstrings.info) nonterminal
| N_generic_constructor_declaration_BAR_ : (Ocaml_parsing.Ast_helper.str * Ocaml_parsing.Ast_helper.str list * Ocaml_parsing.Parsetree.constructor_arguments * Ocaml_parsing.Parsetree.core_type option * Ocaml_parsing.Parsetree.attributes * Ocaml_parsing.Location.t * Ocaml_parsing.Docstrings.info) nonterminal
| N_generalized_constructor_arguments : (Ocaml_parsing.Ast_helper.str list * Ocaml_parsing.Parsetree.constructor_arguments * Ocaml_parsing.Parsetree.core_type option) nonterminal
| N_functor_args : (Lexing.position * Ocaml_parsing.Parsetree.functor_parameter) list nonterminal
| N_functor_arg : (Lexing.position * Ocaml_parsing.Parsetree.functor_parameter) nonterminal
| N_function_type : Ocaml_parsing.Parsetree.core_type nonterminal
| N_fun_def : Ocaml_parsing.Parsetree.expression nonterminal
| N_fun_binding : Ocaml_parsing.Parsetree.expression nonterminal
| N_formal_class_parameters : (Ocaml_parsing.Parsetree.core_type * (Ocaml_parsing.Asttypes.variance * Ocaml_parsing.Asttypes.injectivity)) list nonterminal
| N_floating_attribute : Ocaml_parsing.Parsetree.attribute nonterminal
| N_extension_constructor_rebind_epsilon_ : Ocaml_parsing.Parsetree.extension_constructor nonterminal
| N_extension_constructor_rebind_BAR_ : Ocaml_parsing.Parsetree.extension_constructor nonterminal
| N_extension : Ocaml_parsing.Parsetree.extension nonterminal
| N_ext : string Ocaml_parsing.Location.loc option nonterminal
| N_expr : Ocaml_parsing.Parsetree.expression nonterminal
| N_direction_flag : Ocaml_parsing.Asttypes.direction_flag nonterminal
| N_core_type : Ocaml_parsing.Parsetree.core_type nonterminal
| N_constructor_declarations : Ocaml_parsing.Parsetree.constructor_declaration list nonterminal
| N_constructor_arguments : Ocaml_parsing.Parsetree.constructor_arguments nonterminal
| N_constrain_field : (Ocaml_parsing.Parsetree.core_type * Ocaml_parsing.Parsetree.core_type) nonterminal
| N_constr_longident : Ocaml_parsing.Longident.t nonterminal
| N_constr_ident : string nonterminal
| N_constr_extra_nonprefix_ident : string nonterminal
| N_constant : Ocaml_parsing.Parsetree.constant nonterminal
| N_clty_longident : Ocaml_parsing.Longident.t nonterminal
| N_class_type_declarations : (string Ocaml_parsing.Location.loc option * Ocaml_parsing.Parsetree.class_type_declaration list) nonterminal
| N_class_type : Ocaml_parsing.Parsetree.class_type nonterminal
| N_class_simple_expr : Ocaml_parsing.Parsetree.class_expr nonterminal
| N_class_signature : Ocaml_parsing.Parsetree.class_type nonterminal
| N_class_sig_field : Ocaml_parsing.Parsetree.class_type_field nonterminal
| N_class_self_type : Ocaml_parsing.Parsetree.core_type nonterminal
| N_class_self_pattern : Ocaml_parsing.Parsetree.pattern nonterminal
| N_class_longident : Ocaml_parsing.Longident.t nonterminal
| N_class_fun_def : Ocaml_parsing.Parsetree.class_expr nonterminal
| N_class_fun_binding : Ocaml_parsing.Parsetree.class_expr nonterminal
| N_class_field : Ocaml_parsing.Parsetree.class_field nonterminal
| N_class_expr : Ocaml_parsing.Parsetree.class_expr nonterminal
| N_attribute : Ocaml_parsing.Parsetree.attribute nonterminal
| N_attr_id : string Ocaml_parsing.Location.loc nonterminal
| N_atomic_type : Ocaml_parsing.Parsetree.core_type nonterminal
| N_any_longident : Ocaml_parsing.Longident.t nonterminal
| N_and_let_binding : Ocaml_parsing.Ast_helper.let_binding nonterminal
| N_alias_type : Ocaml_parsing.Parsetree.core_type nonterminal
| N_additive : string nonterminal

include MenhirLib.IncrementalEngine.INSPECTION
  with type 'a lr1state := 'a lr1state
  with type production := production
  with type 'a terminal := 'a terminal
  with type 'a nonterminal := 'a nonterminal
  with type 'a env := 'a env

include MenhirLib.IncrementalEngine.SYMBOLS
  with type 'a terminal := 'a terminal
  with type 'a nonterminal := 'a nonterminal

type 'a symbol =

| T : 'a terminal -> 'a symbol
| N : 'a nonterminal -> 'a symbol

type xsymbol =

| X : 'a symbol -> xsymbol

type item = production * int

val compare_terminals : _ terminal -> _ terminal -> int

val compare_nonterminals : _ nonterminal -> _ nonterminal -> int

val compare_symbols : xsymbol -> xsymbol -> int

val compare_productions : production -> production -> int

val compare_items : item -> item -> int

val incoming_symbol : 'a lr1state -> 'a symbol

val items : _ lr1state -> item list

val lhs : production -> xsymbol

val rhs : production -> xsymbol list

val nullable : _ nonterminal -> bool

val first : _ nonterminal -> _ terminal -> bool

val xfirst : xsymbol -> _ terminal -> bool

val foreach_terminal : (xsymbol -> 'a -> 'a) -> 'a -> 'a

val foreach_terminal_but_error : (xsymbol -> 'a -> 'a) -> 'a -> 'a

val feed : 
  'a symbol ->
  MenhirLib.IncrementalEngine.position ->
  'a ->
  MenhirLib.IncrementalEngine.position ->
  'b env ->
  'b env