package elpi

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
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