Constant Cudd_AggregationType_CUDD_GROUP_CHECK5 

pub const Cudd_AggregationType_CUDD_GROUP_CHECK5: Cudd_AggregationType = 5;