links

The Links Programming Language
IN THIS PACKAGE
Parameter #1 Links_core . Env . Make . Ord
type t
val compare : t -> t -> int