1. Overview
  2. Docs
exception TREC_CALL of Obj.t * Obj.t
type j =
  1. | 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 =
  1. | TTY
  2. | JSON
val set_trace_output : trace_format -> Format.formatter -> unit