[plt-scheme] Type Explanation

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Tue Apr 7 14:53:04 EDT 2009


I was trying to check the predicate for type Integer and tested integer?. I got:
> integer?
- : (Any -> Boolean : ((restrict Number)) ((remove Integer)))

What's the meaning of  ": ((restrict Number)) ((remove Integer)))"

Are these possibilities documented?


Paulo Jorge Matos - pocmatos at gmail.com
Webpage: http://www.personal.soton.ac.uk/pocm

Posted on the users mailing list.