pub unsafe extern "C" fn Cudd_IsInHook( dd: *mut DdManager, f: DD_HFP, where_: Cudd_HookType, ) -> c_int