[plt-scheme] doc.txt syntax

At Fri, 29 Oct 2004 13:04:36 -0400, Doug Orleans wrote:
>  > Yes. Search for "doc.txt" in Help Desk, or see "doc.txt" in the "help"
>  > collection.
> 
> I already found that (I mentioned it in the [...] above) 

Sorry --- I didn't read closely enough.

> but it
> doesn't say anything about the type/BNF annotations.  [...]
> I'm talking about the stuff after the `:' or `='.  Are these just
> informal type specifications, or is this a formal language with a
> defined syntax and semantics?  Or something in between?

Nothing in the help system parses this. We try to use established
notations, but different documents currently use different notations.

Matthew