|[ < ]||[ > ]||[ << ]||[ Up ]||[ >> ]||[Top]||[Contents]||[Index]||[ ? ]|
A name can be specified as having an integer value. To do this, you
must use the XML-ish format and specify a
type attribute for
<name type=integer> 1234 </name>
Boolean, enumeration and set membership types will be added as time
type=string is also supported, but also is the default.
This document was generated by Bruce Korb on August 21, 2015 using texi2html 1.82.