package elpi

You can search for identifiers within the package.

in-package search v0.2.0

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

val declare_global_symbol : string -> constant

val show : constant -> string

val eqc : builtin

val orc : constant

val andc : constant

val rimplc : constant

val pic : constant

val sigmac : constant

val implc : constant

val cutc : builtin

val ctypec : constant

val spillc : constant

module Map : Map.S with type key = constant

module Set : Set.S with type elt = constant