Constant Cudd_AggregationType_CUDD_GROUP_CHECK4 

pub const Cudd_AggregationType_CUDD_GROUP_CHECK4: Cudd_AggregationType = 4;