ANY NONE
expanded class interface CHARACTER_CONSTANTS
   --
   -- Platform-independent, universal, character constants.
   -- Intended to be used as ancestor for classes that need these constants.
   --

feature(s) from CHARACTER_CONSTANTS
   -- Character names:

   Ctrl_a: CHARACTER

   Ctrl_b: CHARACTER

   Ctrl_c: CHARACTER

   Ctrl_d: CHARACTER

   Ctrl_e: CHARACTER

   Ctrl_f: CHARACTER

   Ctrl_g: CHARACTER

   Ch_bs: CHARACTER

   Ch_tab: CHARACTER

   Ctrl_j: CHARACTER

   Ctrl_k: CHARACTER

   Ctrl_l: CHARACTER

   Ctrl_m: CHARACTER

   Ctrl_n: CHARACTER

   Ctrl_o: CHARACTER

   Ctrl_p: CHARACTER

   Ctrl_q: CHARACTER

   Ctrl_r: CHARACTER

   Ctrl_s: CHARACTER

   Ctrl_t: CHARACTER

   Ctrl_u: CHARACTER

   Ctrl_v: CHARACTER

   Ctrl_w: CHARACTER

   Ctrl_x: CHARACTER

   Ctrl_y: CHARACTER

   Ctrl_z: CHARACTER

   Ch_del: CHARACTER



end of expanded CHARACTER_CONSTANTS