Variable type object. More...
#include <nuxmv.h>
Variable type object.
Opaque pointer representing a variable type.