nh "><a href="../Syntaxes$Skip.html"><span class="micon cl"></span><span>Skip</span></a></span></div><div class="ni n2"><span class="nh "><button class="ar icon-button "></button><a href="../Syntaxes$Syntax$.html"><span class="micon ob"></span><span>Syntax</span></a></span><div class="ni n3 "><span class="nh "><a href="../Syntaxes$Syntax$$Binary.html"><span class="micon tr"></span><span>Binary</span></a></span></div><div class="ni n3 "><span class="nh "><a href="../Syntaxes$Syntax$$Disjunction.html"><span c