pan> <span class="kind">def</span></span> <span class="symbol"><span class="name">hasLabel</span><span class="result">: <span name="scala.Boolean" class="extype">Boolean</span></span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="NestedDoc$$RecDoc.html" name="provingground.translation.NestedDoc.RecDoc" id="provingground.translation.NestedDoc.RecDoc" class="extype">RecDoc</a></dd></dl></div></li><li class="indented0 " name="scala.AnyRef#hashCode" group="U