pub unsafe extern "C" fn Cudd_RegisterOutOfMemoryCallback(
unique: *mut DdManager,
callback: Option<DD_OUT_OF_MEMORY_FUNCTION>,
) -> Option<DD_OUT_OF_MEMORY_FUNCTION>pub unsafe extern "C" fn Cudd_RegisterOutOfMemoryCallback(
unique: *mut DdManager,
callback: Option<DD_OUT_OF_MEMORY_FUNCTION>,
) -> Option<DD_OUT_OF_MEMORY_FUNCTION>