what kind of Force it is refracted, or assuming any thing farther than
that the refracting Body acts upon the Rays in Lines perpendicular to
its Surface; I take it to be a very convincing Argument of the full
truth of this Proposition.

So then, if the _ratio_ of the Sines of Incidence and Refraction of any
sort of Rays be found in any one case, 'tis given in all cases; and this

  );

  TF_DerivedOperandTypeAttr T = TF_DerivedOperandTypeAttr<0>;
}

def TF_ApproximateEqualOp : TF_Op<"ApproximateEqual", [Commutative, Pure]> {
  let summary = "Returns the truth value of abs(x-y) < tolerance element-wise.";

  let arguments = (ins
    TF_NumberTensor:$x,
    TF_NumberTensor:$y,

    DefaultValuedOptionalAttr<F32Attr, "1e-05f">:$tolerance
  );