ound.translation.ShapeTreeFormat" id="provingground.translation.ShapeTreeFormat" class="extype">ShapeTreeFormat</a>, <a href="TermShapeTree$.html" name="provingground.translation.TermShapeTree" id="provingground.translation.TermShapeTree" class="extype">TermShapeTree</a></div></div></div><div id="inheritance-diagram-container" class="toggleContainer block diagram-container"><span class="toggle diagram-link">Type Hierarchy</span><div id="inheritance-diagram" class="diagram hiddenContent"><svg id="graph1" cla