package elpi

  1. Overview
  2. Docs
exception TREC_CALL of Stdlib.Obj.t * Stdlib.Obj.t
type j =
  1. | J : (Stdlib.Format.formatter -> 'a -> unit) * 'a -> j
val enter : runtime_id:int -> string -> (Stdlib.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 end_trace : runtime_id:int -> unit
val set_cur_pred : string option -> unit
val get_cur_step : runtime_id:int -> string -> int
val log : runtime_id:int -> string -> string -> int -> unit
val debug : bool Stdlib.ref
val parse_argv : string list -> string list
val usage : string
type trace_format =
  1. | TTY
  2. | JSON
val set_trace_output : trace_format -> Stdlib.Format.formatter -> unit
OCaml

Innovation. Community. Security.