1structure Inttab = Table(
2  type key = int
3  val ord = Int.compare
4  fun pp i = HOLPP.add_string (Int.toString i)
5);
6