OBDD.Operation
class Boolean b
equiv
unary
binary
instantiate
exists
exists_many
forall
forall_many
fold
foldM
full_fold
full_foldM