{--------------------------------------------------------------------
  Assertions
--------------------------------------------------------------------}
-- | /O(n)/. Test if the internal set structure is valid.
valid :: Ord a => Set a -> Bool
valid t
  = balanced t && ordered t && validsize t
valid :: Ord a => Set a -> Bool
valid t
  = balanced t && ordered t && validsize t
valid t
  = balanced t && ordered t && validsize t