def Str(*strs):
 if (len(strs) == 1):
  return Str1(strs[0])
 else:
  result = Alt(*tuple(map(Str1, strs)))
  result.str = ('Str(%s)' % ','.join(map(repr, strs)))
  return result

def Str ( * strs ) : if ( len ( strs ) == 1 ) : return Str1 ( strs [ 0 ] ) else : result = Alt ( * tuple ( map ( Str1 , strs ) ) ) result . str = ( 'Str(%s)' % ',' . join ( map ( repr , strs ) ) ) return result
str(s) is an re which matches the literal string |s| .