1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(** @canonical Elpi.API *)
module API = Elpi__API
(** @canonical Elpi.Builtin *)
module Builtin = Elpi__Builtin
(** @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