, obtaining equations etc.</p><div class="fullcomment"><div class="comment cmt"><p>Combining terms and subclasses to get terms, types, functions etc; these are abstract specifications,
to be used for generating distributions, obtaining equations etc.
The object contains helpers and other static objects.
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="index.html" name="provingground.learning" id="provingground.learning" class="extype">learning</a></dd></dl></div></li><li class=