[racket] Scribblings @defproc for typed/racket

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon Feb 27 14:39:16 EST 2012

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

Posted on the users mailing list.