Module containing type definitions for the elements of the BDD: Nodes (DDNode, NodeID) and Variables (VarID)
Element of a BDD. Note that the Node contains its own ID. This may be set to zero until it has been assigned, and most importantly is not considered in hashing and equality testing.
