Function cudd_sys::Cudd_ReadPermZdd

pub unsafe extern "C" fn Cudd_ReadPermZdd(dd: *mut DdManager, i: c_int) -> c_int