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