devkit

Development kit - general purpose library
IN THIS PACKAGE
Module Devkit_core . Action
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