1signature Arbintcore =
2sig
3
4  eqtype int
5
6  type num = Arbnumcore.num
7
8  val zero       : int
9  val one        : int
10  val two        : int
11
12  val toString   : int -> string
13  val fromString : string -> int
14
15  val fromInt    : Int.int -> int
16  val fromLargeInt : LargeInt.int -> int
17  val fromNat    : num -> int
18  val toInt      : int -> Int.int
19  val toLargeInt : int -> LargeInt.int
20  val toNat      : int -> num
21
22  val +          : (int * int) -> int
23  val -          : (int * int) -> int
24  val *          : (int * int) -> int
25  val div        : (int * int) -> int
26  val mod        : (int * int) -> int
27  val quot       : (int * int) -> int
28  val rem        : (int * int) -> int
29  val divmod     : (int * int) -> (int * int)
30  val quotrem    : (int * int) -> (int * int)
31  val negate     : int -> int
32  val ~          : int -> int
33  val abs        : int -> int
34
35  val <          : int * int -> bool
36  val <=         : int * int -> bool
37  val >          : int * int -> bool
38  val >=         : int * int -> bool
39
40  val compare    : int * int -> order
41  val min        : int * int -> int
42  val max        : int * int -> int
43
44end
45