---
name: "Parser"
section: "3o"
platform: "linux"
package: "ocaml"
version: "5.5.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/Parser"
---

# Parser(3o)

no description

## NAME

Parser - no description

## Module

Module   Parser

## Documentation

Module **Parser**\
  :  **sig end**

*type token* =\
  \| WITH\
  \| WHILE\
  \| WHEN\
  \| VIRTUAL\
  \| VAL\
  \| UNDERSCORE\
  \| UIDENT **of** **string**\
  \| TYPE\
  \| TRY\
  \| TRUE\
  \| TO\
  \| TILDE\
  \| THEN\
  \| STRUCT\
  \| STRING **of** **(string \* Location.t \* string option)**\
  \| STAR\
  \| SIG\
  \| SEMISEMI\
  \| SEMI\
  \| RPAREN\
  \| REC\
  \| RBRACKET\
  \| RBRACE\
  \| QUOTED\_STRING\_ITEM **of** **(string \* Location.t \* string \* Location.t \* string option)**\
  \| QUOTED\_STRING\_EXPR **of** **(string \* Location.t \* string \* Location.t \* string option)**\
  \| QUOTE\
  \| QUESTION\
  \| PRIVATE\
  \| PREFIXOP **of** **string**\
  \| PLUSEQ\
  \| PLUSDOT\
  \| PLUS\
  \| PERCENT\
  \| OR\
  \| OPTLABEL **of** **string**\
  \| OPEN\
  \| OF\
  \| OBJECT\
  \| NONREC\
  \| NEW\
  \| MUTABLE\
  \| MODULE\
  \| MINUSGREATER\
  \| MINUSDOT\
  \| MINUS\
  \| METHOD\
  \| METAOCAML\_ESCAPE\
  \| METAOCAML\_BRACKET\_OPEN\
  \| METAOCAML\_BRACKET\_CLOSE\
  \| MATCH\
  \| LPAREN\
  \| LIDENT **of** **string**\
  \| LETOP **of** **string**\
  \| LET\
  \| LESSMINUS\
  \| LESS\
  \| LBRACKETPERCENTPERCENT\
  \| LBRACKETPERCENT\
  \| LBRACKETLESS\
  \| LBRACKETGREATER\
  \| LBRACKETBAR\
  \| LBRACKETATATAT\
  \| LBRACKETATAT\
  \| LBRACKETAT\
  \| LBRACKET\
  \| LBRACELESS\
  \| LBRACE\
  \| LAZY\
  \| LABEL **of** **string**\
  \| INT **of** **(string \* char option)**\
  \| INITIALIZER\
  \| INHERIT\
  \| INFIXOP4 **of** **string**\
  \| INFIXOP3 **of** **string**\
  \| INFIXOP2 **of** **string**\
  \| INFIXOP1 **of** **string**\
  \| INFIXOP0 **of** **string**\
  \| INCLUDE\
  \| IN\
  \| IF\
  \| HASHOP **of** **string**\
  \| HASH\
  \| GREATERRBRACKET\
  \| GREATERRBRACE\
  \| GREATER\
  \| FUNCTOR\
  \| FUNCTION\
  \| FUN\
  \| FOR\
  \| FLOAT **of** **(string \* char option)**\
  \| FALSE\
  \| EXTERNAL\
  \| EXCEPTION\
  \| EQUAL\
  \| EOL\
  \| EOF\
  \| END\
  \| ELSE\
  \| EFFECT\
  \| DOWNTO\
  \| DOTOP **of** **string**\
  \| DOTDOT\
  \| DOT\
  \| DONE\
  \| DOCSTRING **of** **Docstrings.docstring**\
  \| DO\
  \| CONSTRAINT\
  \| COMMENT **of** **(string \* Location.t)**\
  \| COMMA\
  \| COLONGREATER\
  \| COLONEQUAL\
  \| COLONCOLON\
  \| COLON\
  \| CLASS\
  \| CHAR **of** **char**\
  \| BEGIN\
  \| BARRBRACKET\
  \| BARBAR\
  \| BAR\
  \| BANG\
  \| BACKQUOTE\
  \| ASSERT\
  \| AS\
  \| ANDOP **of** **string**\
  \| AND\
  \| AMPERSAND\
  \| AMPERAMPER

*exception Error*

*val use\_file* :  **(Lexing.lexbuf -\> token) -\>** **Lexing.lexbuf -\> Parsetree.toplevel\_phrase list**

*val toplevel\_phrase* :  **(Lexing.lexbuf -\> token) -\>** **Lexing.lexbuf -\> Parsetree.toplevel\_phrase**

*val parse\_val\_longident* :  **(Lexing.lexbuf -\> token) -\> Lexing.lexbuf -\> Longident.t**

*val parse\_pattern* :  **(Lexing.lexbuf -\> token) -\>** **Lexing.lexbuf -\> Parsetree.pattern**

*val parse\_mty\_longident* :  **(Lexing.lexbuf -\> token) -\> Lexing.lexbuf -\> Longident.t**

*val parse\_module\_type* :  **(Lexing.lexbuf -\> token) -\>** **Lexing.lexbuf -\> Parsetree.module\_type**

*val parse\_module\_expr* :  **(Lexing.lexbuf -\> token) -\>** **Lexing.lexbuf -\> Parsetree.module\_expr**

*val parse\_mod\_longident* :  **(Lexing.lexbuf -\> token) -\> Lexing.lexbuf -\> Longident.t**

*val parse\_mod\_ext\_longident* :  **(Lexing.lexbuf -\> token) -\> Lexing.lexbuf -\> Longident.t**

*val parse\_expression* :  **(Lexing.lexbuf -\> token) -\>** **Lexing.lexbuf -\> Parsetree.expression**

*val parse\_core\_type* :  **(Lexing.lexbuf -\> token) -\>** **Lexing.lexbuf -\> Parsetree.core\_type**

*val parse\_constr\_longident* :  **(Lexing.lexbuf -\> token) -\> Lexing.lexbuf -\> Longident.t**

*val parse\_any\_longident* :  **(Lexing.lexbuf -\> token) -\> Lexing.lexbuf -\> Longident.t**

*val interface* :  **(Lexing.lexbuf -\> token) -\>** **Lexing.lexbuf -\> Parsetree.signature**

*val implementation* :  **(Lexing.lexbuf -\> token) -\>** **Lexing.lexbuf -\> Parsetree.structure**

*module MenhirInterpreter :* **sig end**

*module Incremental :* **sig end**