Note that most general commutative-unifiers are only computed for construct terms (i.e. terms without ❀ and desc construct).
確定! 回上一頁