changes: having an extension field in the type descriptor

[IRC.git] / Robust / src / IR / TypeExtension.java

package IR;

public interface TypeExtension {
}