+ public TMetaVar resolveExistential(String varName) {
+ if(existentials == null)
+ existentials = new THashMap<String, TMetaVar>();
+ TMetaVar var = existentials.get(varName);
+ if(var == null) {
+ var = Types.metaVar(Kinds.metaVar());
+ existentials.put(varName, var);
+ }
+ return var;
+ }
+