Module 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