public boolean wellTyped() {
Iterator<Exp> i = exps.iterator();
Exp e;
while (i.hasNext()) {
e = i.next();
if (e == null || !e.wellTyped()) {
// System.out.println("not well typed:"+e);
return false;
}
// only allow sets of Integers
if (!PType.I.matches(e.type())) {
System.out.println("not type T:" + e);
return false;
}
// System.out.println("well typed: "+e);
}
// System.out.println("conj well typed");
return true;
}
