Module Core_profiler_disabled.Std
module Profiler_units = Profiler_unitsCore_profiler_disabledis the library in the base projection that exposes the same profiling interface asCore_profiler.
include Disabled
include Intf.Profiler_intf with type Timer.t = private unit and type Probe.t = private unit and type Delta_timer.t = private unit and type Delta_probe.t = private unit
module Profiler : sig ... endmodule Timer : Intf.Probe with type 'a create_args := 'a Intf.timer_create_args and type 'a record_args := 'a Intf.timer_record_args and type t = private unitA
Timercontains only a time stamp and no extra information; however, it is useful because (inOffline) the current time is recorded when measurements are made.
module Probe : Intf.Probe with type 'a create_args := 'a Intf.probe_create_args and type 'a record_args := 'a Intf.probe_record_args and type t = private unitA
Proberecords some integer value that is passed toatalong with a timestamp.
module Delta_probe : sig ... end with type t = private unitDelta_probeis an optimized two-probe group to track changes to some counter.
module Delta_timer : sig ... end with type t = private unitDelta_timeris an optimized two-probe group to track time differences between calls tostartandstop.