in syntax for Thinnable things">ThinnableSyntax</a>
                      </li><li class="current-entities indented2">
                        <span class="separator"></span>
                        <a class="class" href="Types$$UnmarkedSpn.html" title="Case class for SPNs without an initial marking"></a>
                        <a href="Types$$UnmarkedSpn.html" title="Case class for SPNs without an initial marking">UnmarkedSpn</a>
                      </li>
              </ul>
            </div>
         