sml-abt-unify:SML中ABT的简单统一

sml-abt-unify sml-abt用绑定变量和自由变量定义了一个很好的术语概念。 在此之上，我们可以定义用于统一到abt的通用统一算法。 此AbtUnify函数最简单的用法是使用AbtUnify函数。 AbtUnify(Abt : ABT_UTIL) :> UNIFY where type t = Abt.t where type var = Abt.Variable.t 这个UNIFY签名只是 signature UNIFY = sig (* Structures we're trying to merge *) type t (* The type of the free variables contained in t's *) ty