Module Utf16.Be

Encoder and Decoder for Unicode Characters encoded in UTF-16 Big Endian.

A character decoder has some valid initial value init. In order to decode a character bytes has to be pushed into the decoder by put until the decoder is either complete (is_complete) or has encoutered some decoding error (has_error).