# HG changeset patch
# User paulson
# Date 882789726 -3600
# Node ID 7a81505067460fa8afd6d7ec52ceb1651f794517
# Parent  76769b48bd88fbec05b389f89d61ef209d527cea
Added range-type for completeness

diff -r 76769b48bd88 -r 7a8150506746 src/Pure/term.ML
--- a/src/Pure/term.ML	Mon Dec 22 12:21:37 1997 +0100
+++ b/src/Pure/term.ML	Mon Dec 22 12:22:06 1997 +0100
@@ -254,7 +254,8 @@
   | dest_Var t = raise TERM("dest_Var", [t]);
 
 
-fun domain_type (Type("fun", [T,_])) = T;
+fun domain_type (Type("fun", [T,_])) = T
+and range_type  (Type("fun", [_,T])) = T;
 
 (* maps  [T1,...,Tn]--->T  to the list  [T1,T2,...,Tn]*)
 fun binder_types (Type("fun",[S,T])) = S :: binder_types T