Void pointer to manage parametrization records. More...
Void pointer to manage parametrization records.