1(* Copyright (c) Michael Norrish *)
2
3signature mlibArbint =
4sig
5
6  eqtype int
7
8  type num = mlibArbnum.num
9
10  val zero : int
11  val one  : int
12  val two  : int
13
14  val toString   : int -> string
15  val fromString : string -> int
16
17  val fromInt : Int.int -> int
18  val fromNat : num -> int
19  val toInt   : int -> Int.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
34  val <  : int * int -> bool
35  val <= : int * int -> bool
36  val >  : int * int -> bool
37  val >= : int * int -> bool
38
39  val abs : int -> int
40
41  val compare : int * int -> order
42  val min : int * int -> int
43  val max : int * int -> int
44
45end
46