Constant Cudd_AggregationType_CUDD_GROUP_CHECK2

pub const Cudd_AggregationType_CUDD_GROUP_CHECK2: Cudd_AggregationType = 2;