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