package elpi

  1. Overview
  2. Docs
package elpi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file elpi__.ml

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
(* generated by dune *)

(** @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