# HG changeset patch
# User haftmann
# Date 1272466579 -7200
# Node ID 4073bf588746c7694ea0fd99d47e7a8f135c89f4
# Parent  3971cd55c8697a241536e20f42d584574aef5c3e
exported print_tuple

diff -r 3971cd55c869 -r 4073bf588746 src/Tools/Code/code_ml.ML
--- a/src/Tools/Code/code_ml.ML	Wed Apr 28 16:56:18 2010 +0200
+++ b/src/Tools/Code/code_ml.ML	Wed Apr 28 16:56:19 2010 +0200
@@ -9,6 +9,8 @@
   val target_SML: string
   val evaluation_code_of: theory -> string -> string
     -> Code_Thingol.naming -> Code_Thingol.program -> string list -> string * string option list
+  val print_tuple: (Code_Printer.fixity -> 'a -> Pretty.T)
+    -> Code_Printer.fixity -> 'a list -> Pretty.T option
   val setup: theory -> theory
 end;