1signature Sol_ranges = 2sig 3 type int = Arbint.int 4 5 val Shostak : (int * (string * int) list) list -> (string * int) list 6end 7