OBDD.Operation

(&&)

(||)

not

and

or

ite

bool

implies

equiv

xor

unary

binary

instantiate

exists

exists_many

fold

foldM

full_fold

full_foldM