information is displayed for a given constant when that constant is first selected.  It is only possibly to choose one of the listed options at a time.
  <ul>
  <li><b>As much as possible up to __ assertions:</b> will display as many assertions as possible up to the number specified, regardless of type of assertion.
  <li><b>Documentation:</b> will display documentation assertions about the constant, including <a href=/cycdoc/vocab/doc-vocab.html#comment>#$comment</a>, etc.
  <li><b>Definitional Information