Source file elpi_parser.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(* generated by dune *)

(** @canonical Elpi_parser.Ast *)
module Ast = Elpi_parser__Ast

(** @canonical Elpi_parser.Error_messages *)
module Error_messages = Elpi_parser__Error_messages

(** @canonical Elpi_parser.Grammar *)
module Grammar = Elpi_parser__Grammar

(** @canonical Elpi_parser.Lexer *)
module Lexer = Elpi_parser__Lexer

(** @canonical Elpi_parser.Parse *)
module Parse = Elpi_parser__Parse

(** @canonical Elpi_parser.Parser_config *)
module Parser_config = Elpi_parser__Parser_config