@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 <sa...@ccs.neu.edu>wrote:
> On Mon, Feb 27, 2012 at 2:25 PM, Ray Racine <ray.rac...@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
> sa...@ccs.neu.edu
>
____________________
Racket Users list:
http://lists.racket-lang.org/users
