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