k"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier">implicit </span> <span class="kind">def</span></span> <span class="symbol"><span class="name">rw</span><span class="result">: <span name="upickle.core.Types.ReadWriter" class="extype">upickle.default.ReadWriter</span>[<a href="FreeExpr$$AnonVar.html" name="provingground.translation.FreeExpr.AnonVar" id="provingground.translation.FreeExpr.AnonVar" class="extype">AnonVar</a>]</span></span></li><li class="indente