an> <span class="i">p</span> <span class="k">-&gt;</span> { <span class="i">p</span> <span class="k">with</span> 
                    <span class="i">ProjectFile</span> <span class="o">=</span> <span class="i">currentDirectory</span> <span class="o">@@</span> <span class="s">&quot;NDependProjectFile.ndproj&quot;</span>
                    <span class="i">CoverageFiles</span> <span class="o">=</span> [<span class="i">artifactsDir</span> <span class="o">@@</span> <span class="s">&quot;DotCover.xml&quot;</span