opentheory-1.76: The Haskell base
OpenTheory.Data.Option
Description
equal :: (a -> a -> Bool) -> Maybe a -> Maybe a -> BoolSource