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