Function cudd_sys::Cudd_ReadOrderRandomization

pub unsafe extern "C" fn Cudd_ReadOrderRandomization(
    dd: *mut DdManager
) -> c_uint