The unification algorithm in Note 4 is the Robinson's algorithm.

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