See Vector4Base.dotProduct.
double Vector4DotProduct(Vector4StructType v1, Vector4StructType v2) => v1.dotProduct(v2);