Ejemplo n.º 1
0
 public override void DoUnify(CharacterType var, Substitution substitution)
 {
 }
Ejemplo n.º 2
0
 public virtual void DoUnify(CharacterType var, Substitution substitution)
 {
     DoUnify((Type)var, substitution);
 }