Constant Cudd_AggregationType_CUDD_GROUP_CHECK

pub const Cudd_AggregationType_CUDD_GROUP_CHECK: Cudd_AggregationType = 1;