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