Function Cudd_Init 

pub unsafe extern "C" fn Cudd_Init(
    numVars: c_uint,
    numVarsZ: c_uint,
    numSlots: c_uint,
    cacheSize: c_uint,
    maxMemory: size_t,
) -> *mut DdManager