[racket] Scribblings @defproc for typed/racket

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