Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-traces
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Reader interface.
This is an interface that should be implemented to add a new backend.
type t = {tool : tool;(*a tool descriptor read from trace
*)meta : Bap.Std.dict;(*meta information read from trace
*)next : unit -> event Core_kernel.Std.Or_error.t option;(*a stream function
*)
}