 name="scala.Double" class="extype">Double</span>]</span>)</span><span class="result">: <span name="scala.Predef.Map" class="extype">Map</span>[<a href="Expression.html" name="provingground.learning.Expression" id="provingground.learning.Expression" class="extype">Expression</a>, <span name="scala.Double" class="extype">Double</span>]</span></span><div class="fullcomment"><dl class="attributes block"><dt>Annotations</dt><dd><span class="name">@tailrec</span><span class="args">()</span> </dd></dl></div></li>