Cudd_AggregationType_CUDD_GROUP_CHECK9

cudd2_sys

Constant Cudd_AggregationType_CUDD_GROUP_CHECK9 

Source 
pub const Cudd_AggregationType_CUDD_GROUP_CHECK9: Cudd_AggregationType = 9;