1(* Copyright (c) Michael Norrish *) 2 3signature mlibOmegaint = 4sig 5 6 type int 7 8 val zero : int 9 val one : int 10 11 val eq : int * int -> bool 12 13 val toString : int -> string 14 val fromString : string -> int option 15 16 val fromInt : Int.int -> int 17 val toInt : int -> Int.int 18 19 val + : (int * int) -> int 20 val - : (int * int) -> int 21 val * : (int * int) -> int 22 val div : (int * int) -> int 23 val mod : (int * int) -> int 24 val quot : (int * int) -> int 25 val rem : (int * int) -> int 26 val ~ : int -> int 27 28 val < : int * int -> bool 29 val <= : int * int -> bool 30 val > : int * int -> bool 31 val >= : int * int -> bool 32 33 val abs : int -> int 34 35 val compare : int * int -> order 36 val min : int * int -> int 37 val max : int * int -> int 38 39 40 41 val hash : int -> Int.int 42 val gcd : int * int -> int 43end 44