def Str1(s):
	result = apply(Seq, tuple(map(Char, s)))
	result.str = "Str(%s)" % repr(s)
	return result
Str1(s) is an RE which matches the literal string |s|.
dataset/ETHPy150Open probcomp/bayeslite/external/plex/dist/Plex/Regexps.py/Str1