Creates a string that describes the values of current type variables. More...

Public Member Functions | |
| Explain (const TypeVariableSubstitution *subst) | |
| profile_t | init_apply (const IR::Node *node) override |
| void | postorder (const IR::Type_Var *tv) override |
Public Attributes | |
| std::string | explanation |
Creates a string that describes the values of current type variables.