><span class="micon ob"></span><span>Encodings</span></a></span></div><div class="ni n2 "><span class="nh "><a href="../../dsl/Numbers$.html"><span class="micon ob"></span><span>Numbers</span></a></span></div><div class="ni n2 "><span class="nh "><a href="../../dsl/Operators$.html"><span class="micon ob"></span><span>Operators</span></a></span></div><div class="ni n2 "><span class="nh "><a href="../../dsl/Reflection$.html"><span class="micon ob"></span><span>Reflection</span></a></span></div></div><div clas