iv><div class="right-container"><div class="text"></div></div><div class="text-mobile"></div></div><div id="scaladoc-searchBar"></div><div id="main"><div class="breadcrumbs container"><a href="../../index.html">satify</a>/<a href="../../satify.html">satify</a>/<a href="../dsl.html">satify.dsl</a>/<a href="Encodings$.html">Encodings</a></div><div id="content" class="body-medium"><div><div class="cover-header">
 <span class="icon"><span class="micon ob"></span></span>
 <h1 class="h600 single">Encodings</h1>
<