src/Pure/Tools/codegen_serializer.ML

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Tools/codegen_serializer.ML	Mon Nov 14 15:23:33 2005 +0100
@@ -0,0 +1,19 @@
+(*  Title:      Pure/Tools/codegen_serializer.ML
+    ID:         $Id$
+    Author:     Florian Haftmann, TU Muenchen
+
+Serializer from intermediate language ("Thin-gol") to
+target languages (like ML or Haskell)
+*)
+
+signature CODEGEN_SERIALIZER =
+sig
+  val bot: unit;
+end;
+
+structure CodegenSerializer: CODEGEN_SERIALIZER =
+struct
+
+val bot = ();
+
+end; (* structure *)