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
Loaded traces.
This is a static container for the traces. Frontends and plugins can load traces and add it to the repository.
val to_list : unit -> trace listto_list () returns a list of currently loaded traces.
val enum : unit -> trace Bap.Std.seqenum () enumerates all currently loaded traces
val add : trace -> unitadd trace registers a trace into the repository
val remove : trace -> unitremove trace removes a trace from the repository, do nothing if it wasn't registered.