links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Utility . Int
type t = int
val compare : int -> int -> int
val pp : Format.formatter -> int -> unit
val show : int -> string