ead><body><div class="content"><header><nav><a href="../index.html">Up</a> â€“ <a href="../../../../index.html">infer</a> &#x00BB; <a href="../../../index.html">Integration</a> &#x00BB; <a href="../../index.html">DifferentialFilters</a> &#x00BB; <a href="../index.html">FileRenamings</a> &#x00BB; VISIBLE_FOR_TESTING_DO_NOT_USE_DIRECTLY</nav><h1>Module <code>FileRenamings.VISIBLE_FOR_TESTING_DO_NOT_USE_DIRECTLY</code></h1></header><dl><dt class="spec type" id="type-renaming"><a href="#type-renaming" clas