                         class="result">: <span class="extype"
                                                               name="scala.Unit">Unit</span></span>
      </span>

                                <div class="fullcomment">
                                    <dl class="attributes block">
                                        <dt>Definition Classes</dt>
                                        <dd><a href="" class="extype"
                                               name="ch.unibas.cs.gravis