Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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