export module encoding { export var ISO_8859_1 = "ISO-8859-1"; export var US_ASCII = "US-ASCII"; export var UTF_16 = "UTF-16"; export var UTF_16BE = "UTF-16BE"; export var UTF_16LE = "UTF-16LE"; export var UTF_8 = "UTF-8"; }