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

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