001    package AST;
002    
003    import java.util.HashSet;
004    import java.io.File;
005    import java.util.*;
006    import beaver.*;
007    import java.util.ArrayList;
008    import java.util.zip.*;
009    import java.io.*;
010    import java.io.FileNotFoundException;
011    import java.util.Collection;
012    /**
013      * @ast interface
014     * 
015     */
016    public interface Parameterization {
017    
018         
019        boolean isRawType();
020    
021         
022        TypeDecl substitute(TypeVariable typeVariable);
023    }