OBDD.Data

the data type

data OBDD v

for external use

number_of_models

for internal use

data Node v i

checked_register