158159160161162163164165166167168
int length = dimensions[0]; /* If every element is a Rule, it's * a rule list */ for (int i = 1; i <= length; i++) { Expr e = expr.part(i); if (!e.head().equals(RULE)) { return false; } } return true; }