1structure Int_Graph = Graph(
2  type key = int
3  val ord = Int.compare
4  val pp = HOLPP.add_string o Int.toString
5);
6