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