to make Star Factors from arbitrary elements
"></a>
                        <a href="StarFactory$.html" title="A Sub-Factory to make Star Factors from arbitrary elements
">
                          StarFactory
                        </a>
                      </li>
              </ul>
            </div>
          </div>
          <div id="content">
            <body class="object value">
      <div id="definition">
        <div class="big-circle object">o</div>
        <p id="owner"><a href="../../../../.