ifier_kind"><span class="modifier"></span> <span class="kind">case class</span></span> <span class="symbol"><span class="name">Leaf</span><span class="params">(<span name="value">value: <span name="scala.Predef.String" class="extype">String</span></span>)</span><span class="result"> extends <a href="TreeModel.html" name="provingground.translation.TreeModel" id="provingground.translation.TreeModel" class="extype">TreeModel</a> with <span name="scala.Product" class="extype">Product</span> with <a href="../../