InternalCuddDD

Type Alias InternalCuddDD 

Source
type InternalCuddDD = *mut DdNode;