public override void SubstUnify(Type that, Substitution substitution) { if (that != this) { that.DoUnify(this, substitution); } }
public virtual void SubstUnify(Type that, Substitution substitution) { if (this != that) { that.DoUnify(this, substitution); } }