Module Std_online

Signature

module Profiler_units = Core_profiler_disabled.Profiler_units

Open this Std for online use.

include Online

include Core_profiler_disabled.Intf.Profiler_intf with type Delta_timer.state = private Core.Std.Time_ns.t and type Delta_probe.state = private int

module Profiler : sig .. end

module Timer : Intf.Probe with type 'a create_args := 'a Intf.timer_create_args and type 'a record_args := 'a Intf.timer_record_args

A Timer contains only a time stamp and no extra information; however, it is useful because (in Offline) 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

A Probe records some integer value that is passed to at along with a timestamp.

module Delta_probe : sig .. end

A Delta is an optimized two-probe group (See Offline.Delta).

module Delta_timer : sig .. end