Javascript_profiling.TimerThe browser's `Performance` API provides us with a performant way to measure and record timespans and events of interest. These will be broadcast to `PerformanceObserver`s, and will appear on the "timing" track of any Chrome performance traces.
The `javascript_profiling` library provides bindings to this API.
val start : unit -> tval stop : t -> measurementval record : (unit -> 'a) -> 'a * measurementmodule Duration : sig ... endval duration : measurement -> Duration.t