de.dhbwstuttgart.typeinference.unify

Interface Unifier

public interface Unifier

Method Summary

Modifier and Type	Method and Description
Menge<Menge<Pair>>	apply(Menge<Pair> E)

Method Detail

apply

Menge<Menge<Pair>> apply(Menge<Pair> E)