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