s="shortcomment cmt">General functorial framework for translation.</p><div class="fullcomment"><div class="comment cmt"><p>General functorial framework for translation.</p><p>Translators with <code>I</code> the input type and <code>O</code> the output type are primarily built from <a href="Translator$$Junction.html" name="provingground.translation.Translator.Junction" id="provingground.translation.Translator.Junction" class="extype">Junction</a>s</p><ul><li>a <code><code>pattern</code></code> which map <cod