A text encoding, used by TextEncoder and TextDecoder.
TextEncoder
TextDecoder
Encodings other than UTF-8 use Other(String).
Other(String)
pub type Encoding { Utf8 Other(String) }
Utf8