Agda.Utils.Set
lookupKey :: Ord a => a -> Set a -> Maybe a Source #
O(log n). Find the given element and return the copy contained in the set.
module Data.Set