pub unsafe extern "C" fn Sylvan_enum( bdd: BDD, vars: BDDSET, cb: ENUM_CB, context: *mut c_void, ) -> c_void