package elpi

  1. Overview
  2. Docs
ELPI - Embeddable λProlog Interpreter

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (17)

Authors

  1. C
    Claudio Sacerdoti Coen
  2. E
    Enrico Tassi

Maintainers

  1. E
    Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-3.3.1.tbz
sha256=3186ebbf97d702e3cd5ebfa2aca50d9e93dd939a86c3db827dbde111656e3d5f
sha512=2ffafd7dbcaad4802fc2f076f90df36a1ce33dae1f0fa9226d45654a932a70e0a9f0627bbc703870561ad2d36a86039ad04c74393ccaf369c283eddb488525cf

doc/src/elpi.compiler/elpi_compiler.ml.html

Source file elpi_compiler.ml

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

(** @canonical Elpi_compiler.Compiler *)
module Compiler = Elpi_compiler__Compiler

(** @canonical Elpi_compiler.Compiler_data *)
module Compiler_data = Elpi_compiler__Compiler_data

(** @canonical Elpi_compiler.Determinacy_checker *)
module Determinacy_checker = Elpi_compiler__Determinacy_checker

(** @canonical Elpi_compiler.Spilling *)
module Spilling = Elpi_compiler__Spilling

(** @canonical Elpi_compiler.Type_checker *)
module Type_checker = Elpi_compiler__Type_checker