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

exception TREC_CALL of Obj.t * Obj.t

type j =

| J : (Format.formatter -> 'a -> unit) * 'a -> j

val enter : runtime_id:int -> string -> (Format.formatter -> unit) -> unit

val info : runtime_id:int -> ?goal_id:int -> string -> j list -> unit

val exit : runtime_id:int -> string -> bool -> exn option -> float -> unit

val set_cur_pred : string option -> unit

val get_cur_step : string -> int

val log : string -> string -> int -> unit

val debug : bool ref

val parse_argv : string list -> string list

val usage : string

type trace_format =

| TTY
| JSON

val set_trace_output : trace_format -> Format.formatter -> unit