Problem 3 [6pt] Suppose that during type inference, a compiler generates the following constraints to be solved: , = bool , int ; = int > bool Solve those constraints by the unification algorithm in Note 4. You need to write down the steps during constraint solving. Problem 3 [6pt] Suppose that during type inference, a compiler generates the following constraints to be solved: , = bool , int ; = int > bool Solve those constraints by the unification algorithm in Note 4. You need to write down the steps during constraint solving