Umstellung auf MPair beginnen
This commit is contained in:
parent
1e9d0517f2
commit
ad2804fab9
11
src/de/dhbwstuttgart/typeinference/unify/Unifier.java
Normal file
11
src/de/dhbwstuttgart/typeinference/unify/Unifier.java
Normal file
@ -0,0 +1,11 @@
|
|||||||
|
package de.dhbwstuttgart.typeinference.unify;
|
||||||
|
|
||||||
|
import java.util.Set;
|
||||||
|
|
||||||
|
import de.dhbwstuttgart.typeinference.Pair;
|
||||||
|
|
||||||
|
public interface Unifier {
|
||||||
|
|
||||||
|
public Set<Set<Pair>> apply (Set<Pair> E);
|
||||||
|
|
||||||
|
}
|
Loading…
Reference in New Issue
Block a user