<div>@defthing works ok aswll.</div><div><br></div><div>@defthing[AttributeName (U &#39;All &#39;SenderId &#39;SentTimestamp </div><div>                           &#39;ApproximateReceiveCount </div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>   &#39;ApproximateFirstReceiveTimestamp)]{</div>
<div>A define-type of an enumeration of allowable code values ...</div><div>}</div><div><br></div><br><div class="gmail_quote">On Mon, Feb 27, 2012 at 2:39 PM, Sam Tobin-Hochstadt <span dir="ltr">&lt;<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">On Mon, Feb 27, 2012 at 2:25 PM, Ray Racine &lt;<a href="mailto:ray.racine@gmail.com">ray.racine@gmail.com</a>&gt; wrote:<br>

&gt; In the vein of scribblings for various typed/racket idioms.<br>
&gt;<br>
&gt; How would you scribble a define-type.<br>
&gt; e.g.<br>
&gt;<br>
&gt; (define-type AttributeReq (U &#39;All &#39;SenderId &#39;SentTimestamp<br>
&gt; &#39;ApproximateReceiveCount &#39;ApproximateFirstReceiveTimestamp))<br>
<br>
</div></div>Something like this:<br>
<br>
@defidform[AttributeReg]{The type of possible attribute requests.<br>
Includes @racket[&#39;All], @racket[&#39;SenderId], and other stuff.}<br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
--<br>
sam th<br>
<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a><br>
</font></span></blockquote></div><br>