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