[racket-dev] Please help me to understand the two lines.

  The lines are from
http://pre.racket-lang.org/docs/html/reference/booleans.html
section 3.1

The lines are:
(boolean?<http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))>
 v) → boolean?<http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))>
   v : any/c<http://pre.racket-lang.org/docs/html/reference/Data-structure_Contracts.html#(def._((lib._racket/contract/private/misc..rkt)._any/c))>

Question 1
The result (boolean?<http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))>
 v) is a boolean.  Why is it not
  (boolean?<http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))>
 v) → boolean instead of
(boolean?<http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))>
 v) → boolean?<http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))>
?

 Question 2
If v can be anything,  why not just use any instead of using
any/c<http://pre.racket-lang.org/docs/html/reference/Data-structure_Contracts.html#(def._((lib._racket/contract/private/misc..rkt)._any/c))>
?

 Question 3
What does / and c mean?

BTW, did I missed the definition of / and c?  I have not read the entire
document.

Thanks a lot.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20110530/134966a2/attachment.html>