ntUnionOfDetails.html" title=""></a>
                        <a href="ClassDisjointUnionOfDetails.html" title="">ClassDisjointUnionOfDetails</a>
                      </li><li class="current-entities indented5">
                        <span class="separator"></span>
                        <a class="class" href="ClassDisjointWithDetails.html" title=""></a>
                        <a href="ClassDisjointWithDetails.html" title="">ClassDisjointWithDetails</a>
                      </li><li class="current-enti