ound.learning.RandomVar.AtCoord.Dom" class="extype">Dom</span>, <span name="provingground.learning.RandomVar.AtCoord.O" class="extype">O</span>] to<span name="scala.Predef.Ensuring" class="extype">Ensuring</span>[<a href="" name="provingground.learning.RandomVar.AtCoord" id="provingground.learning.RandomVar.AtCoord" class="extype">AtCoord</a>[<span name="provingground.learning.RandomVar.AtCoord.Dom" class="extype">Dom</span>, <span name="provingground.learning.RandomVar.AtCoord.O" class="extype">O</span>]] 