665666667668669670671672673674675
PythonTree tok = lower; if (lower == null) { tok = new PythonTree(colon); } if (isSlice) { return new Slice(tok, s, e, o); } else { return new Index(tok, s); } }