pub unsafe extern "C" fn Cudd_ApaCountMinterm( manager: *mut DdManager, node: *mut DdNode, nvars: c_int, digits: *mut c_int, ) -> DdApaNumber