Up

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