       name="original">original: <a href="ThriftImage.html"
                                                                     class="extype"
                                                                     name="ch.unibas.cs.gravis.realsense.ThriftImage">ThriftImage</a></span>)</span><span
                                        class="result">: <a href="ThriftImage.html" class="extype"
                                                            name="ch.unibas.cs.gravis.realsense.ThriftImage">Thrift