src/Pure/type.ML

--- a/src/Pure/type.ML	Thu Sep 17 15:04:46 2009 +0100
+++ b/src/Pure/type.ML	Wed Sep 23 11:05:28 2009 +0100
@@ -55,6 +55,7 @@
   exception TYPE_MATCH
   type tyenv = (sort * typ) Vartab.table
   val lookup: tyenv -> indexname * sort -> typ option
+  val devar: tyenv -> typ -> typ
   val typ_match: tsig -> typ * typ -> tyenv -> tyenv
   val typ_instance: tsig -> typ * typ -> bool
   val raw_match: typ * typ -> tyenv -> tyenv