module Int: sig .. end
sig
end
The alphabet of integers.
type t = int
int
val eq : int -> int -> bool
int -> int -> bool
val to_string : int -> string
int -> string
val compare : int -> int -> int
int -> int -> int
val leq : int -> int -> bool
val geq : int -> int -> bool