> > a non-empty string a corresponds to valid representation of an arc > > only if fromString a returns {isAbs=false, vol="", arcs=[a]}. > > > > All the implementations agree that fromString "" does indeed return > > {isAbs=false, vol="", arcs=[a]}. > > I presume you mean arcs=[] ? Whoops. Yes.