Profiling library
Library core_profiler.offline_tool

The 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).

val time : t -> Core.Time_ns.t