Ppx for timer
opam pin add ppx_timer https://github.com/skcho/ppx_timer.git
[%timer exp] is expanded to
Timer.start_here <pos:Lexing.position>;
let v = exp in
Timer.stop ();
vto calculate the evaluation time of exp. See test for examples.
| Name | Name | Last commit date | ||
|---|---|---|---|---|