<table class="boxed" cellspacing="0">
<tbody>
<tr>
<td>
<div><span class="RktPn">The lines are from </span></div>
<div><span class="RktPn"><a href="http://pre.racket-lang.org/docs/html/reference/booleans.html">http://pre.racket-lang.org/docs/html/reference/booleans.html</a></span></div>
<div><span class="RktPn">section 3.1</span></div>
<div><span class="RktPn"></span> </div>
<div><span class="RktPn">The lines are:</span></div>
<div><span class="RktPn">(</span><a name="(dep._((quote._~23~25kernel)._boolean~3f))"></a><a name="(def._((quote._~23~25kernel)._boolean~3f))"></a><span title="Provided from: racket/base, racket"><span class="RktSym"><a class="RktValLink" href="http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))">boolean?</a></span></span><span class="hspace"> </span><span class="RktVar">v</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym"><a class="RktValLink" href="http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))">boolean?</a></span></div>
</td></tr>
<tr>
<td>
<div><span class="hspace"> </span><span class="RktVar">v</span><span class="hspace"> </span>:<span class="hspace"> </span><span class="RktSym"><a class="RktValLink" href="http://pre.racket-lang.org/docs/html/reference/Data-structure_Contracts.html#(def._((lib._racket/contract/private/misc..rkt)._any/c))">any/c</a></span></div>
<div><span class="RktSym"> </span></div></td></tr></tbody></table>
<div>Question 1</div>
<div>The result <span class="RktPn">(</span><a name="(dep._((quote._~23~25kernel)._boolean~3f))"></a><a name="(def._((quote._~23~25kernel)._boolean~3f))"></a><span title="Provided from: racket/base, racket"><span class="RktSym"><a class="RktValLink" href="http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))">boolean?</a></span></span><span class="hspace"> </span><span class="RktVar">v</span><span class="RktPn">) is a boolean. Why is it not </span></div>
<table class="boxed" cellspacing="0">
<tbody>
<tr>
<td><span class="RktPn">(</span><a name="(dep._((quote._~23~25kernel)._boolean~3f))"></a><a name="(def._((quote._~23~25kernel)._boolean~3f))"></a><span title="Provided from: racket/base, racket"><span class="RktSym"><a class="RktValLink" href="http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))">boolean?</a></span></span><span class="hspace"> </span><span class="RktVar">v</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym">boolean</span></td>
</tr></tbody></table> instead of
<table class="boxed" cellspacing="0">
<tbody>
<tr>
<td><span class="RktPn">(</span><a name="(dep._((quote._~23~25kernel)._boolean~3f))"></a><a name="(def._((quote._~23~25kernel)._boolean~3f))"></a><span title="Provided from: racket/base, racket"><span class="RktSym"><a class="RktValLink" href="http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))">boolean?</a></span></span><span class="hspace"> </span><span class="RktVar">v</span><span class="RktPn">)</span><span class="hspace"> </span>→<span class="hspace"> </span><span class="RktSym"><a class="RktValLink" href="http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))">boolean?</a></span></td>
</tr></tbody></table>
<div>?</div>
<div> </div>
<div>
<div>Question 2</div>
<div><span class="RktSym">If v can be anything, why not just use any instead of using <span class="RktSym"><a class="RktValLink" href="http://pre.racket-lang.org/docs/html/reference/Data-structure_Contracts.html#(def._((lib._racket/contract/private/misc..rkt)._any/c))">any/c</a>?</span></span></div>
<div><span class="RktSym"><span class="RktSym"></span></span> </div>
<div><span class="RktSym"><span class="RktSym">
<div>Question 3</div>
<div>What does / and c mean?</div>
<div> </div>
<div>BTW, did I missed the definition of / and c? I have not read the entire document. </div>
<div> </div>
<div>Thanks a lot.</div></span></span></div></div>