package bechamel

Type of module implementation to record a measure.

Type of measure. 'a represents the witness to record the 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.

load w signals to the operating-system to allocate ressources needed to record the underlying measure.

unload w releases operating-system's ressources to record the underlying measure.

label w is the name of the underlying measure represented by w.