, <span name="initial">initial: <a href="../../language/Universe.html" class="extype" name="com.cra.figaro.language.Universe">Universe</a></span>, <span name="transition">transition: (<a href="../../language/Universe.html" class="extype" name="com.cra.figaro.language.Universe">Universe</a>, <a href="../../language/Universe.html" class="extype" name="com.cra.figaro.language.Universe">Universe</a>) ⇒ <a href="../../language/Universe.html" class="extype" name="com.cra.figaro.language.Universe">Universe</a></