export term_of_typ;

--- a/src/Pure/Syntax/type_ext.ML	Tue Jul 06 21:03:34 1999 +0200
+++ b/src/Pure/Syntax/type_ext.ML	Tue Jul 06 21:03:57 1999 +0200
@@ -10,13 +10,13 @@
 sig
   val raw_term_sorts: term -> (indexname * sort) list
   val typ_of_term: (indexname -> sort) -> term -> typ
+  val term_of_typ: bool -> typ -> term
 end;
 
 signature TYPE_EXT =
 sig
   include TYPE_EXT0
   val term_of_sort: sort -> term
-  val term_of_typ: bool -> typ -> term
   val tappl_ast_tr': Ast.ast * Ast.ast list -> Ast.ast
   val type_ext: SynExt.syn_ext
 end;