To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package core_profiler
-
core_profiler
-
-
core_profiler.disabled
-
core_profiler.offline_tool
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Header : module type of Core_profiler.Protocol.Short_headerThe goal of Short_header is to pack a Timer.record into one word (we want to write an integer number of words for alignment, and don't want to pay for the size or time of writing a second word if we don't have to).
type t = | Timer of Core_profiler.Probe_id.t * Core.Time_ns.t| Probe of Core_profiler.Probe_id.t * Core.Time_ns.t * int| Group_reset of Core_profiler.Probe_id.t * Core.Time_ns.t
val id : t -> Core_profiler.Probe_id.tval time : t -> Core.Time_ns.t