elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.trace.runtime
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