"../../../../index.html" class="extype" name="ch.unibas.cs">cs</a>.<a
                        href="../../../index.html" class="extype"
                        name="ch.unibas.cs.gravis">gravis</a>.<a href="../../index.html"
                                                                 class="extype"
                                                                 name="ch.unibas.cs.gravis.thriftservice">thriftservice</a>.<a
                        href="../index.html" class="extype"
                    