src/Pure/term.ML
changeset 4480 d26e28c52788
parent 4464 7a8150506746
child 4487 9b4c1db5aca1
     1.1 --- a/src/Pure/term.ML	Wed Dec 24 12:20:54 1997 +0100
     1.2 +++ b/src/Pure/term.ML	Wed Dec 24 12:21:06 1997 +0100
     1.3 @@ -24,6 +24,7 @@
     1.4    val ---> : typ list * typ -> typ
     1.5    val is_TVar: typ -> bool
     1.6    val domain_type: typ -> typ
     1.7 +  val range_type: typ -> typ
     1.8    val binder_types: typ -> typ list
     1.9    val body_type: typ -> typ
    1.10    val strip_type: typ -> typ list * typ