Function cudd_sys::Cudd_CheckZeroRef [] [src]

pub unsafe extern "C" fn Cudd_CheckZeroRef(manager: *mut DdManager) -> c_int