[racket] Scribblings @defproc for typed/racket

@defthing works ok aswll.

@defthing[AttributeName (U 'All 'SenderId 'SentTimestamp
                           'ApproximateReceiveCount
   'ApproximateFirstReceiveTimestamp)]{
A define-type of an enumeration of allowable code values ...
}


On Mon, Feb 27, 2012 at 2:39 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu>wrote:

> On Mon, Feb 27, 2012 at 2:25 PM, Ray Racine <ray.racine at gmail.com> wrote:
> > In the vein of scribblings for various typed/racket idioms.
> >
> > How would you scribble a define-type.
> > e.g.
> >
> > (define-type AttributeReq (U 'All 'SenderId 'SentTimestamp
> > 'ApproximateReceiveCount 'ApproximateFirstReceiveTimestamp))
>
> Something like this:
>
> @defidform[AttributeReg]{The type of possible attribute requests.
> Includes @racket['All], @racket['SenderId], and other stuff.}
>
>
> --
> sam th
> samth at ccs.neu.edu
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120227/54f57b82/attachment.html>