pub type Cudd_ErrorType = c_uint;
Enum************************************************************************
Synopsis [Type of error codes.]
Description [Type of error codes.]