Module EzAPIServerUtils.TimingsSource
Sourceval enable : unit -> unit Sourceval disable : unit -> unit Sourcetype period = {name : string;mutable prev : int;nb : int array;dt : float array;
} Sourceval add : t -> float -> float -> unit Sourcetype timings = {mutable timings_ok : t array;mutable timings_fail : t array;
} Sourceval add_timing : int -> bool -> float -> float -> unit Sourceval init : float -> int -> unit