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