);

  let results = (outs
    TF_VariantTensor:$handle
  );
}

def TF_CastOp : TF_Op<"Cast", [Pure, SameOperandsAndResultShape]> {
  let summary = "Cast x of type SrcT to y of DstT.";

  let arguments = (ins
    TF_Tensor:$x,

    DefaultValuedOptionalAttr<BoolAttr, "false">:$Truncate
  );

  let results = (outs
    TF_Tensor:$y
  );

or Refractions may be found.

[Illustration: FIG. 7.]

_Cas._ 4. Let ACBD [in _Fig._ 7.] be any refracting Lens, spherically
Convex or Concave or Plane on either side, and let CD be its Axis (that
is, the Line which cuts both its Surfaces perpendicularly, and passes
through the Centres of the Spheres,) and in this Axis produced let F and
_f_ be the Foci of the refracted Rays found as above, when the incident