elpi 1.14.3 · OCaml Package

elpi
Documentation
elpi lib
Elpi Module

elpi
- Elpi
  - API
    
    AlgebraicData
    
    Ast
    
    Loc
    
    BuiltIn
    
    BuiltInData
    
    BuiltInPredicate
    
    Notation
    
    Compile
    
    StrSet
    
    ContextualConversion
    
    Conversion
    
    Data
    
    StrMap
    
    Execute
    
    FlexibleData
    
    Elpi
    
    Host
    
    HostWeak
    
    Map
    
    Host
    
    Show
    
    WeakMap
    
    D
    
    Host
    
    OpaqueData
    
    Parse
    
    Pp
    
    Ast
    
    Query
    
    Quotation
    
    RawData
    
    Constants
    
    Map
    
    Set
    
    RawOpaqueData
    
    RawPp
    
    Debug
    
    RawQuery
    
    Setup
    
    State
    
    Utils
    
    Map
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Set
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Show
    
    Show1
  - Builtin
  - Builtin_checker
elpi.trace.ppx
- Trace_ppx
elpi.trace.runtime
- Trace_ppx_runtime
  - Runtime

Legend:
Library
Module
Module type
Parameter
Class
Class type

module API : sig ... end

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

module Builtin : sig ... end

module Builtin_checker : sig ... end