def Char(c):
	if len(c) == 1:
		result = CodeRange(ord(c), ord(c) + 1)
	else:
		result = SpecialSymbol(c)
	result.str = "Char(%s)" % repr(c)
	return result
Char(c) is an RE which matches the character |c|.
dataset/ETHPy150Open probcomp/bayeslite/external/plex/dist/Plex/Regexps.py/Char