Constant Cudd_AggregationType_CUDD_NO_CHECK 

pub const Cudd_AggregationType_CUDD_NO_CHECK: Cudd_AggregationType = 0;