Type Alias InternalCuddDD 

type InternalCuddDD = *mut DdNode;