Module Trace.Reader

Reader interface.

This is an interface that should be implemented to add a new backend.

type t = {
  1. tool : tool;
    (*

    a tool descriptor read from trace

    *)
  2. meta : Bap.Std.dict;
    (*

    meta information read from trace

    *)
  3. next : unit -> event Core_kernel.Or_error.t option;
    (*

    a stream function

    *)
}