% $Id$
Character(Char): trait
  includes
    Octet,
    Integer,
    Sequence(Char, CharSeq),

    FiniteSet(Char, Repertoire),

    Function(Encoding, OctetSeq, CharSeq),

    ClosedInterval(Integer, IntRange),
    Function(CodedCharacterSet, IntRange, Repertoire)