exception UnificationFailure of string Lazy.t;;
module Founif (B : Terms.Blob) = struct
- module Subst = FoSubst.Subst(B)
- module U = Terms.Utils(B)
+ module Subst = FoSubst (*.Subst(B)*)
+ module U = FoUtils.Utils(B)
let unification vars locked_vars t1 t2 =
let lookup = Subst.lookup_subst in