grammar entry for <other-options> ?

Rich Morin <[email protected]> Fri, 11 Jul 2008 23:56:48 -0700

Newsgroups	gmane.comp.ai.powerloom
Message-ID	<p06230996c49e0583b42a@[192.168.1.205]>

The syntax description for defmodule (Chapter 5: Commands, p. 31)
ends with the line:

  [<other-options>*])

but I can't find a definition for this.  Help?

-r
-- 
http://www.cfcl.com/rdm            Rich Morin
http://www.cfcl.com/rdm/resume     [email protected]
http://www.cfcl.com/rdm/weblog     +1 650-873-7841

Technical editing and writing, programming, and web development