pub type Cudd_LazyGroupType = c_uint;
Enum************************************************************************
Synopsis [Group type for lazy sifting.]
Description [Group type for lazy sifting.]