#includeThis code defines two vectors `a` and `b`, then uses exprt to compute their dot product. The operands `exprt::vector#include int main() { std::vector a = {1.0, 2.0, 3.0}; std::vector b = {4.0, 5.0, 6.0}; auto dot_product = (exprt::vector (a) * exprt::vector (b)).sum(); std::cout << "Dot product: " << dot_product << std::endl; return 0; }