Ejemplo n.º 1
0
 public override void SubstUnify(Type that, Substitution substitution)
 {
     if (that != this)
     {
         that.DoUnify(this, substitution);
     }
 }
Ejemplo n.º 2
0
 public virtual void SubstUnify(Type that, Substitution substitution)
 {
     if (this != that)
     {
         that.DoUnify(this, substitution);
     }
 }