Any reader who comment here hopefully has enough knowledge to understand the implied C++.

struct Add {} std::variant<Add, int> Expr;

OR

class Expr {} class Add : Expr {}