package devkit

  1. Overview
  2. Docs

Basic timer. Also allows recording a sequence of interesting times from the given start point. Can serialize recorded events to json (useful for Logstash events)

method record : string -> Devkit_core.Time.t -> unit
method mark : string -> unit
method show : string
method json : (string * Yojson.Safe.t) list
method get : Devkit_core.Time.t
method get_str : string
method get_state : Devkit_core.Time.t * (string * Devkit_core.Time.t) list
method reset : unit

Resets both the internal start value, in addition to the list of recorded events