Constant Cudd_AggregationType_CUDD_GROUP_CHECK3 

pub const Cudd_AggregationType_CUDD_GROUP_CHECK3: Cudd_AggregationType = 3;