Module Interactive.TraceSource

Sourcetype trace_element_kind =
  1. | BEGIN
  2. | END
Sourcetype trace_element = {
  1. id : int;
  2. action : Action.action;
  3. kind : trace_element_kind;
  4. time : float;
}
Sourcetype trace = {
  1. elements : trace_element list;
  2. last_id : int;
}
Sourceval empty_trace : trace
Sourceval begin_trace_element : Action.action -> trace -> trace
Sourceval end_trace_element : int -> Action.action -> trace -> trace
Sourceval get_last_trace_element_id : trace -> int
Sourceval colored : int -> string -> string
Sourceval pp_trace : Stdlib.Format.formatter -> trace -> unit