How do I write a contract for the following<br><br>(define (foo a #:optional b) #f)<br><br>I would have thought that<br><br>(provide/contract<br>&nbsp; [foo (-&gt;* (any/c) (any/c) false?)]<br>)<br><br>would work, but obviously I&#39;m missing something.<br>
<br>