Interfaces.CHAR_CODECEncoder and decoder for unicode characters.
module Encoder : CHAR_ENCODERmodule Decoder : 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).