Module B0_trace.Trace_event
JSON Trace Event Format.
Outputs build operations in JSON Trace Event Format. Can be read back in Google Chrome in chrome://tracing/. What about perf.html ?
Trace Events
val of_ops : B00.Op.t list -> B0_web.Jsong.t