       <span class="permalink">
      <a href="../ch/index.html#unibas" title="Permalink">
        <i class="material-icons"></i>
      </a>
    </span>
                        <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">package</span>
      </span>
                        <span class="symbol">
        <a title="" href="../../../../../index.html"><span class="name">unibas</span></a>
      </span>

                        <div class="fullcomment">
       