- (&&) :: Ord v => OBDD v -> OBDD v -> OBDD v
- (||) :: Ord v => OBDD v -> OBDD v -> OBDD v
- not :: Ord v => OBDD v -> OBDD v
- and :: Ord v => [OBDD v] -> OBDD v
- or :: Ord v => [OBDD v] -> OBDD v
- unary :: Ord v => (Bool -> Bool) -> OBDD v -> OBDD v
- binary :: Ord v => (Bool -> Bool -> Bool) -> OBDD v -> OBDD v -> OBDD v
- instantiate :: Ord v => v -> Bool -> OBDD v -> OBDD v
- exists :: Ord v => v -> OBDD v -> OBDD v
- exists_many :: Ord v => Set v -> OBDD v -> OBDD v