Function Cudd_SetVarMap 

pub unsafe extern "C" fn Cudd_SetVarMap(
    manager: *mut DdManager,
    x: *mut *mut DdNode,
    y: *mut *mut DdNode,
    n: c_int,
) -> c_int