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