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