Module Core_profiler_disabled
module Disabled : sig ... end
module Intf : sig ... end
module Profiler_units : sig ... end
module Std : sig ... end
Core_profiler_disabledmodule Disabled : sig ... endmodule Intf : sig ... endmodule Profiler_units : sig ... endmodule Std : sig ... end