Constant Cudd_ErrorType_CUDD_TERMINATION 

pub const Cudd_ErrorType_CUDD_TERMINATION: Cudd_ErrorType = 5;