Module B0_extra

module B0_extra: sig .. end
Additional tools for drivers.


Build outcome processing


val ops_to_trace_event_format : B0.Outcome.t -> B0.Outcome.Op.t list -> B0_json.G.t
ops_to_json o ops outputs operations ops of outcome o as JSON text in Trace Event Format.