Unification algorithm:

Problem3 I6pt] Suppose that during type inference, a compiler generates the following constraints to be solved: 001 Solve those constraints by the unification algorithm in Note 4. You need to write down the steps during constraint solving. Problem3 I6pt] Suppose that during type inference, a compiler generates the following constraints to be solved: 001 Solve those constraints by the unification algorithm in Note 4. You need to write down the steps during constraint solving