Type check library
In automated validation of HW components, Strong Exception Safety (rollback) is crucial, as incomplete command sequences to such HW may put it in a hazardous state. In turn this could lead to loss of connection - forcing manual intervention, and in extreme cases to physical damage. Inspired from this need, the type_check package was conceived. It provides a comprehensive and extendible methodology for encapsulating Type Specifications, and for correlating these to method and functions’ arguments.