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 fromNat    : num -> int
17  val toInt      : int -> Int.int
18  val toNat      : int -> num
19
20  val +          : (int * int) -> int
21  val -          : (int * int) -> int
22  val *          : (int * int) -> int
23  val div        : (int * int) -> int
24  val mod        : (int * int) -> int
25  val quot       : (int * int) -> int
26  val rem        : (int * int) -> int
27  val divmod     : (int * int) -> (int * int)
28  val quotrem    : (int * int) -> (int * int)
29  val negate     : int -> int
30  val ~          : int -> int
31  val abs        : int -> int
32
33  val <          : int * int -> bool
34  val <=         : int * int -> bool
35  val >          : int * int -> bool
36  val >=         : int * int -> bool
37
38  val compare    : int * int -> order
39  val min        : int * int -> int
40  val max        : int * int -> int
41
42end
43