export range_type;
authorwenzelm
Wed Dec 24 12:21:06 1997 +0100 (1997-12-24)
changeset 4480d26e28c52788
parent 4479 708d7c26db5b
child 4481 b595116eb3c4
export range_type;
src/Pure/term.ML
     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