carta

Set.OrderedType(3o) on Linux

The text f8fe64114786, as Debian 6.0 (Squeeze) shipped it.

Input signature of the functor Set.Make.

Set.OrderedType(3o) on Linux now