./../../Int.html">Int</a>&gt;</span>):<a class="type" title="The standard Int type." href="../../../../Int.html">Int</a></code></h3><div class="doc"><p></p></div></div><div class="field "><a name="PermsToString"></a><h3 class="anchor"><code><span class="label label-static">static</span><a href="#PermsToString"><span class="identifier">PermsToString</span></a> (<span style="white-space:nowrap">p:<a class="type" title="The standard Int type." href="../../../../Int.html">Int</a></span>):<a class="type" title="