# HG changeset patch
# User haftmann
# Date 1259772815 -3600
# Node ID 40408e6b833bd2f6d778bae0caa70d899a69f621
# Parent  317933ce3712f0dd8a06d367b70873264ab2f22a
exported build_tsig

diff -r 317933ce3712 -r 40408e6b833b src/Pure/type.ML
--- a/src/Pure/type.ML	Wed Dec 02 17:53:35 2009 +0100
+++ b/src/Pure/type.ML	Wed Dec 02 17:53:35 2009 +0100
@@ -19,6 +19,7 @@
     types: decl Name_Space.table,
     log_types: string list}
   val empty_tsig: tsig
+  val build_tsig: (Name_Space.T * Sorts.algebra) * sort * decl Name_Space.table -> tsig
   val defaultS: tsig -> sort
   val logical_types: tsig -> string list
   val eq_sort: tsig -> sort * sort -> bool