示例#1
0
 public override void DoUnify(IntegralType var, Substitution substitution)
 {
 }
示例#2
0
 public virtual void DoUnify(IntegralType var, Substitution substitution)
 {
     DoUnify((Type)var, substitution);
 }