links

The Links Programming Language
IN THIS PACKAGE
type t = bool list
val compare : bool list -> bool list -> int