functor (E : Encoding_T) ->
  sig
    module E :
      sig
        val to_ucs4 : (char Cf_seq.t option, int) Cf_flow.t
        val of_ucs4 : (int, char) Cf_flow.t
      end
    val transcoder : (char Cf_seq.t option, char) Cf_flow.t
    val transcode : char Cf_seq.t -> char Cf_seq.t
    val atomic : string -> string
  end