la.AnyRef" id="scala.AnyRef" class="extmbr">AnyRef</a></span></span></h4><div id="comment" class="fullcommenttop"><div class="comment cmt"><p>aid for implicit calculations:
given a scala type that is a subtype of <code>Typ[C]</code>, recovers <code>C</code>,
eg shows that <code>FuncTyp[A, B]</code> is a subtype of <code>Typ[Func[A, B]]</code></p><p>Note that <code>C</code> is not unique, indeed <code>C = Term</code> is  always a solution,
so we seek the best <code>C</code>
</p></div><div class="toggleContai