package elpi

  1. Overview
  2. Docs

This module is the API for clients of the ELPI library.

The modules Setup, Parse, Compile and Execute let one run code, and Pp print the result. Modules Ast and Data mostly contain opaque data types declarations.

The sub module Extend groups the APIs to extend ELPI. It provides richer Ast and Data submodules where the data types are made transparent. Module Extend.Compile lets one register new {{quotations}}. Modules Extend.BuiltInPredicate and Extend.CustomConstraint let one register built-in predicates and custom constraints.

module Setup : sig ... end
module Ast : sig ... end
module Parse : sig ... end
module Data : sig ... end
module Compile : sig ... end
module Execute : sig ... end
module Pp : sig ... end
module Extend : sig ... end
OCaml

Innovation. Community. Security.