Constant Cudd_AggregationType_CUDD_GROUP_CHECK 

pub const Cudd_AggregationType_CUDD_GROUP_CHECK: Cudd_AggregationType = 1;