>
        <span class="modifier"></span>
        <span class="kind">val</span>
      </span>
      <span class="symbol">
        <span class="name">universe</span><span class="result">: <a href="../../../language/Universe.html" class="extype" name="com.cra.figaro.language.Universe">Universe</a></span>
      </span>
      
      <div class="fullcomment"><dl class="attributes block"> <dt>Definition Classes</dt><dd><a href="StructuredAlgorithm.html" class="extype" name="com.cra.figaro.algorithm.structured.algo