Module type Core_profiler_disabled.Intf.Profiler_intf

All three profilers -- the disabled one, the online one and the offline one -- implement Profiler_intf.

module Profiler : sig ... end

module Timer : Probe with type a create_args := a timer_create_args and type a record_args := a 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 : Probe with type a create_args := a probe_create_args and type a record_args := a 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