A ppx that instruments OCaml code to produce traces of execution.
Traces can be explored to understand the control flow and see where time is spent in a program.
Traces can be compared to see how a patch affects control flow.