package core_profiler

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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