CSPM.TypeChecker.Unification

generaliseGroup

instantiate

unify

unifyAll

evaluateDots

typeToDotList

dotableToDotList

substituteTypes

instantiate'