Proposal: Bounded instance for IntSet (ticket #1953)
ross at soi.city.ac.uk
Sun Dec 2 19:13:37 EST 2007
On Sun, Dec 02, 2007 at 04:01:05PM -0800, David Benbennick wrote:
> On 12/2/07, Ross Paterson <ross at soi.city.ac.uk> wrote:
> > These are the minimum and maximum under the Ord instance (also for Set),
> > but what is the intuition behind that ordering?
> The order on IntSet is the well-known lexicographic order (see
Yes, but when does one use that ordering on sets?
More information about the Libraries