package elpi

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Libraries
1. elpi
2. elpi.trace.runtime

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.runtime
- Trace_ppx_runtime
  - Runtime

Legend:
Library
Module
Module type
Parameter
Class
Class type

elpi 1.14.3

Libraries

This package provides the following libraries (via ocamlobjinfo):

elpi

Documentation:

Elpi

elpi.trace.runtime

Documentation:

Trace_ppx_runtime