Пример #1
0
 public override void DoUnify(IntegralType var, Substitution substitution)
 {
 }
Пример #2
0
 public virtual void DoUnify(IntegralType var, Substitution substitution)
 {
     DoUnify((Type)var, substitution);
 }