Constant Cudd_AggregationType_CUDD_GROUP_CHECK7 

pub const Cudd_AggregationType_CUDD_GROUP_CHECK7: Cudd_AggregationType = 7;