la.AnyRef" id="scala.AnyRef" class="extmbr">AnyRef</a>, <span name="scala.Any" class="extype">Any</span></div></div></div><div class="toggleContainer"><div class="toggle block"><span>Known Subclasses</span><div class="subClasses hiddenContent"><a href="OptRestriction.html" name="provingground.translation.OptRestriction" id="provingground.translation.OptRestriction" class="extype">OptRestriction</a>, <a href="SubType.html" name="provingground.translation.SubType" id="provingground.translation.SubType" class=