OBDD.Operation

(&&)

(||)

not

and

or

bool

implies

equiv

xor

unary

binary

instantiate

exists

exists_many

fold

foldM