Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A parser which works with two components: A lexer which splits up the input into a sequence of tokens and parser which parses the tokens.
module type ANY = Fmlib_std.Interfaces.ANY
module Make
(State : ANY)
(Token : ANY)
(Final : ANY)
(Semantic : ANY)
(Lex : Interfaces.LEXER with type final = Position.range * Token.t)
(Parse :
Interfaces.FULL_PARSER
with type state = State.t
and type token = Position.range * Token.t
and type expect = string * Indent.expectation option
and type final = Final.t
and type semantic = Semantic.t) :
sig ... end
Generate the parser with a lexer and a token parser.