iction.Y" class="extype">Y</span>, <span name="provingground.translation.ConeRestriction.G" class="extype">G</span>] to<span name="scala.Predef.Ensuring" class="extype">Ensuring</span>[<a href="" name="provingground.translation.ConeRestriction" id="provingground.translation.ConeRestriction" class="extype">ConeRestriction</a>[<span name="provingground.translation.ConeRestriction.X" class="extype">X</span>, <span name="provingground.translation.ConeRestriction.Y" class="extype">Y</span>, <span name="provinggr