= 1024" x-on:close-sidebar="sidebar=window.innerWidth >= 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Type of module implementation to record a measure.
Abtract type of a witness to be able to record a measure
.
register (module Measure)
registers a implementation to record a specific measure. The implementation will be globally accessible.
instance (module Measure) measure
returns a value which is able to introspect a measure measure
.
val load : witness -> unit
load w
signals to the operating-system to allocate ressources needed to record the underlying measure.
val unload : witness -> unit
unload w
releases operating-system's ressources to record the underlying measure.
val label : witness -> string
label w
is the name of the underlying measure represented by w
.
val unit : witness -> string