pub type TypeEquations = HashMap<TypedExpression, TypeVar>;
struct TypeEquations { /* private fields */ }