public static bool Equivalent(this free <term> term1, free <term> term2)
{
var t1 = term1.Canonicalize();
var t2 = term2.Canonicalize();
return(t1.UnsafeValue == t2.UnsafeValue);
}
public static bool Equivalent(this free <type> type1, free <type> type2)
{
var t1 = type1.Canonicalize();
var t2 = type2.Canonicalize();
return(t1.UnsafeValue == t2.UnsafeValue);
}
