<a href="Translator$$Mapped.html" title="mapped translator" class="class"></a><a href="Translator$$Mapped.html" title="mapped translator">Mapped</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="Translator$$MixedJunction.html" title="A mixed junction given by splitting optionally to a given shape, and building from the same shape using both the input and its traslation." class="class"></a><a href="Translator$$MixedJunction.html" title="A mixed junction given by splittin