Module Std_online

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