Bechamel.Measure
Type of module implementation to record a measure.
Abstract 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 resources needed to record the underlying measure.
val unload : witness -> unit
unload w
releases the operating-system's resources used record the underlying measure.
val label : witness -> string
label w
is the name of the underlying measure represented by w
.
val unit : witness -> string