links

The Links Programming Language
IN THIS PACKAGE
type t = int * int
val compare : (int * int) -> (int * int) -> int