public static class Region<Loc extends Location> /* implements Topology<Location<Tok>> */ {
public final Loc start;
public final Loc end;
+ public String toString() { return start+"-"+end; }
public Region(Loc a, Loc b) {
switch(a.compareTo(b)) {
case -1: