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