1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
(** @canonical Elpi.API *)
module API = Elpi__API
(** @canonical Elpi.Builtin *)
module Builtin = Elpi__Builtin
(** @canonical Elpi.Builtin_checker *)
module Builtin_checker = Elpi__Builtin_checker
(** @canonical Elpi.Builtin_map *)
module Builtin_map = Elpi__Builtin_map
(** @canonical Elpi.Builtin_set *)
module Builtin_set = Elpi__Builtin_set
(** @canonical Elpi.Builtin_stdlib *)
module Builtin_stdlib = Elpi__Builtin_stdlib
(** @canonical Elpi.Compiler *)
module Compiler = Elpi__Compiler
(** @canonical Elpi.Data *)
module Data = Elpi__Data
(** @canonical Elpi.Discrimination_tree *)
module Discrimination_tree = Elpi__Discrimination_tree
(** @canonical Elpi.Legacy_parser_proxy *)
module Legacy_parser_proxy = Elpi__Legacy_parser_proxy
(** @canonical Elpi.Ptmap *)
module Ptmap = Elpi__Ptmap
(** @canonical Elpi.Runtime *)
module Runtime = Elpi__Runtime
(** @canonical Elpi.Runtime_trace_off *)
module Runtime_trace_off = Elpi__Runtime_trace_off