public virtual void DoUnify(TypeVariable var, Substitution substitution) { var.DoUnify(this, substitution); }
public void Bind(TypeVariable variable, Type type) { Map = Map.Add(variable, type); }
public virtual void UnifyWithRigid(TypeVariable var, Substitution subst) { throw RigidTypeException.Create(var.RigidName, this); }