1(* Copyright (c) Michael Norrish *)
2
3signature mlibOmegaint =
4sig
5
6  type int
7
8  val zero : int
9  val one  : int
10
11  val eq : int * int -> bool
12
13  val toString   : int -> string
14  val fromString : string -> int option
15
16  val fromInt : Int.int -> int
17  val toInt   : int -> Int.int
18
19  val +      : (int * int) -> int
20  val -      : (int * int) -> int
21  val *      : (int * int) -> int
22  val div    : (int * int) -> int
23  val mod    : (int * int) -> int
24  val quot   : (int * int) -> int
25  val rem    : (int * int) -> int
26  val ~      : int -> int
27
28  val <  : int * int -> bool
29  val <= : int * int -> bool
30  val >  : int * int -> bool
31  val >= : int * int -> bool
32
33  val abs : int -> int
34
35  val compare : int * int -> order
36  val min : int * int -> int
37  val max : int * int -> int
38
39
40
41  val hash : int -> Int.int
42  val gcd  : int * int -> int
43end
44