Utf16.BeEncoder and Decoder for Unicode Characters encoded in UTF-16 Big Endian.
module Encoder : Interfaces.CHAR_ENCODERmodule Decoder : Interfaces.CHAR_DECODERA 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).