</dt><dd>This member is added by an implicit conversion from <a href="" name="provingground.Context.Defn" id="provingground.Context.Defn" class="extype">Defn</a>[<span name="provingground.Context.Defn.U" class="extype">U</span>] to<span name="scala.Predef.ArrowAssoc" class="extype">ArrowAssoc</span>[<a href="" name="provingground.Context.Defn" id="provingground.Context.Defn" class="extype">Defn</a>[<span name="provingground.Context.Defn.U" class="extype">U</span>]] performed by method ArrowAssoc in scala.Pr