statistics package:registry

This module provides a set of statistics over the execution of the registry. This allows to get better insights over the execution or test that the registry is well configured

This datatype records: - the created values - the applied functions - the specializations used to create values

This module returns creation data about the values created when created a value of a given type

Modify the current statistics

Create Statistics from a list of values