Trace_ppx_runtime.Runtime
exception TREC_CALL of Stdlib.Obj.t * Stdlib.Obj.t
type j =
| 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 incr_cur_step : runtime_id:int -> string -> unit
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 =
| TTY
| JSON
val set_trace_output : trace_format -> Stdlib.Format.formatter -> unit