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