Module Encodings

type uchar = int
module Utf8 : sig ... end