OBDD.Operation

(&&)

(||)

not

and

or

unary

binary

instantiate

exists

exists_many

fold

foldM