Time_utils.Timer
High-precision timer for performance measurement
type t
val create : unit -> t
val start : unit -> t
val lap : t -> duration_ns
val elapsed : t -> duration_ns
val reset : t -> unit
val average_lap_time : t -> duration_ns