$.html"><span class="micon ob"></span><span>RegExp</span></a></span><div class="ni n3 "><span class="nh "><a href="RegExps$RegExp$$Concat.html"><span class="micon cl"></span><span>Concat</span></a></span></div><div class="ni n3 "><span class="nh "><a href="RegExps$RegExp$$Elem.html"><span class="micon cl"></span><span>Elem</span></a></span></div><div class="ni n3 "><span class="nh "><a href="RegExps$RegExp$$EmptySet$.html"><span class="micon ob"></span><span>EmptySet</span></a></span></div><div class="ni n3