cudd_sys
pub unsafe extern "C" fn Cudd_addTriangle( dd: *mut DdManager, f: *mut DdNode, g: *mut DdNode, z: *mut *mut DdNode, nz: c_int) -> *mut DdNode