    class
    	SEQ_STRING

    General
    	cluster: base
    	create: make

    Ancestors
    	SEQUENCE* [G]
    	STRING_8

    Queries
    	adapt (s: STRING_8): [like Current] SEQ_STRING
    	additional_space: INTEGER_32
    	after: BOOLEAN
    	area: SPECIAL [CHARACTER_8]
    	as_lower: [like Current] SEQ_STRING
    	as_string_32: STRING_32
    	as_string_8: STRING_8
    	as_upper: [like Current] SEQ_STRING
    	before: BOOLEAN
    	capacity: INTEGER_32
    	Changeable_comparison_criterion: BOOLEAN
    	code (i: INTEGER_32): NATURAL_32
    	count: INTEGER_32
    	current_item: CHARACTER_8
    	exhausted: BOOLEAN
    	Extendible: BOOLEAN
    	False_constant: STRING_8
    	for_all (test: FUNCTION [ANY, TUPLE [CHARACTER_8], BOOLEAN]): BOOLEAN
    	full: BOOLEAN
    	fuzzy_index (other: STRING_8; start, fuzz: INTEGER_32): INTEGER_32
    	Growth_percentage: INTEGER_32
    	has (c: CHARACTER_8): BOOLEAN
    	has_code (c: [like code] NATURAL_32): BOOLEAN
    	has_substring (other: STRING_8): BOOLEAN
    	hash_code: INTEGER_32
    	index: INTEGER_32
    	index_of (c: CHARACTER_8; start_index: INTEGER_32): INTEGER_32
    	index_of_code (c: [like code] NATURAL_32; start_index: INTEGER_32): INTEGER_32
    	index_of_occurrence (c: CHARACTER_8; i: INTEGER_32): INTEGER_32
    	index_set: INTEGER_INTERVAL
    	infix "+" (s: STRING_8): [like Current] SEQ_STRING
    	infix "<" (other: [like Current] SEQ_STRING): BOOLEAN
    	infix "<=" (other: [like Current] SEQ_STRING): BOOLEAN
    	infix ">" (other: [like Current] SEQ_STRING): BOOLEAN
    	infix ">=" (other: [like Current] SEQ_STRING): BOOLEAN
    	infix "@" (i: INTEGER_32): CHARACTER_8
    	is_boolean: BOOLEAN
    	is_case_insensitive_equal (other: [like Current] SEQ_STRING): BOOLEAN
    	is_double: BOOLEAN
    	is_empty: BOOLEAN
    	is_equal (other: [like Current] SEQ_STRING): BOOLEAN
    	is_hashable: BOOLEAN
    	is_inserted (v: CHARACTER_8): BOOLEAN
    	is_integer: BOOLEAN
    	is_integer_16: BOOLEAN
    	is_integer_32: BOOLEAN
    	is_integer_64: BOOLEAN
    	is_integer_8: BOOLEAN
    	is_natural: BOOLEAN
    	is_natural_16: BOOLEAN
    	is_natural_32: BOOLEAN
    	is_natural_64: BOOLEAN
    	is_natural_8: BOOLEAN
    	is_number_sequence: BOOLEAN
    	is_real: BOOLEAN
    	Is_string_32: BOOLEAN
    	Is_string_8: BOOLEAN
    	Is_valid_as_string_8: BOOLEAN
    	item (i: INTEGER_32): CHARACTER_8
    	item_code (i: INTEGER_32): INTEGER_32
    	last_index_of (c: CHARACTER_8; start_index_from_end: INTEGER_32): INTEGER_32
    	linear_representation: LINEAR [CHARACTER_8]
    	max (other: [like Current] SEQ_STRING): [like Current] SEQ_STRING
    	min (other: [like Current] SEQ_STRING): [like Current] SEQ_STRING
    	Minimal_increase: INTEGER_32
    	mirrored: [like Current] SEQ_STRING
    	Mismatch_information: MISMATCH_INFORMATION
    	object_comparison: BOOLEAN
    	occurrences (c: CHARACTER_8): INTEGER_32
    	off: BOOLEAN
    	out: STRING_8
    	prunable: BOOLEAN
    	readable: BOOLEAN
    	resizable: BOOLEAN
    	same_string (other: STRING_8): BOOLEAN
    	shared_with (other: STRING_8): BOOLEAN
    	split (a_separator: CHARACTER_8): LIST [STRING_8]
    	string: STRING_8
    	string_mirrored: [like Current] SEQ_STRING
    	substring (start_index, end_index: INTEGER_32): [like Current] SEQ_STRING
    	substring_index (other: STRING_8; start_index: INTEGER_32): INTEGER_32
    	substring_index_in_bounds (other: STRING_8; start_pos, end_pos: INTEGER_32): INTEGER_32
    	there_exists (test: FUNCTION [ANY, TUPLE [CHARACTER_8], BOOLEAN]): BOOLEAN
    	three_way_comparison (other: [like Current] SEQ_STRING): INTEGER_32
    	to_boolean: BOOLEAN
    	to_c: ANY
    	to_cil: SYSTEM_STRING
    	to_double: REAL_64
    	to_integer: INTEGER_32
    	to_integer_16: INTEGER_16
    	to_integer_32: INTEGER_32
    	to_integer_64: INTEGER_64
    	to_integer_8: INTEGER_8
    	to_natural: NATURAL_32
    	to_natural_16: NATURAL_16
    	to_natural_32: NATURAL_32
    	to_natural_64: NATURAL_64
    	to_natural_8: NATURAL_8
    	to_real: REAL_32
    	to_string_32: STRING_32
    	to_string_8: STRING_8
    	True_constant: STRING_8
    	valid_code (v: NATURAL_32): BOOLEAN
    	valid_index (i: INTEGER_32): BOOLEAN
    	writable: BOOLEAN

    Commands
    	adapt_size
    	append (s: STRING_8)
    	append_boolean (b: BOOLEAN)
    	append_character (c: CHARACTER_8)
    	append_code (c: [like code] NATURAL_32)
    	append_double (d: REAL_64)
    	append_integer (i: INTEGER_32)
    	append_real (r: REAL_32)
    	append_string (s: STRING_8)
    	append_string_general (s: STRING_GENERAL)
    	automatic_grow
    	back
    	center_justify
    	character_justify (pivot: CHARACTER_8; position: INTEGER_32)
    	clear_all
    	compare_objects
    	compare_references
    	copy (other: [like Current] SEQ_STRING)
    	do_all (action: PROCEDURE [ANY, TUPLE [CHARACTER_8]])
    	do_if (action: PROCEDURE [ANY, TUPLE [CHARACTER_8]]; test: FUNCTION [ANY, TUPLE [CHARACTER_8], BOOLEAN])
    	extend (c: CHARACTER_8)
    	fill (other: CONTAINER [CHARACTER_8])
    	fill_blank
    	fill_character (c: CHARACTER_8)
    	fill_with (c: CHARACTER_8)
    	finish
    	force (v: [like current_item] CHARACTER_8)
    	forth
    	from_c (c_string: POINTER)
    	from_c_substring (c_string: POINTER; start_pos, end_pos: INTEGER_32)
    	grow (newsize: INTEGER_32)
    	insert_character (c: CHARACTER_8; i: INTEGER_32)
    	insert_string (s: STRING_8; i: INTEGER_32)
    	keep_head (n: INTEGER_32)
    	keep_tail (n: INTEGER_32)
    	left_adjust
    	left_justify
    	make (n: INTEGER_32)
    	make_empty
    	make_filled (c: CHARACTER_8; n: INTEGER_32)
    	make_from_c (c_string: POINTER)
    	make_from_cil (a_system_string: SYSTEM_STRING)
    	make_from_string (s: STRING_8)
    	mirror
    	multiply (n: INTEGER_32)
    	precede (c: CHARACTER_8)
    	prepend (s: STRING_8)
    	prepend_boolean (b: BOOLEAN)
    	prepend_character (c: CHARACTER_8)
    	prepend_double (d: REAL_64)
    	prepend_integer (i: INTEGER_32)
    	prepend_real (r: REAL_32)
    	prepend_string (s: STRING_8)
    	prune (c: CHARACTER_8)
    	prune_all (c: CHARACTER_8)
    	prune_all_leading (c: CHARACTER_8)
    	prune_all_trailing (c: CHARACTER_8)
    	put (c: CHARACTER_8; i: INTEGER_32)
    	put_code (v: NATURAL_32; i: INTEGER_32)
    	remove (i: INTEGER_32)
    	remove_current_item
    	remove_head (n: INTEGER_32)
    	remove_substring (start_index, end_index: INTEGER_32)
    	remove_tail (n: INTEGER_32)
    	replace (c: CHARACTER_8)
    	replace_blank
    	replace_substring (s: STRING_8; start_index, end_index: INTEGER_32)
    	replace_substring_all (original, new: [like Current] SEQ_STRING)
    	resize (newsize: INTEGER_32)
    	right_adjust
    	right_justify
    	search (v: [like current_item] CHARACTER_8)
    	search_after (c: CHARACTER_8)
    	search_before (c: CHARACTER_8)
    	search_string_after (s: STRING_8; fuzzy: INTEGER_32)
    	search_string_before (s: STRING_8; fuzzy: INTEGER_32)
    	set (t: [like Current] SEQ_STRING; n1, n2: INTEGER_32)
    	share (other: [like Current] SEQ_STRING)
    	start
    	string_mirror
    	string_precede (c: CHARACTER_8)
    	string_prepend (s: STRING_8)
    	string_share (other: STRING_8)
    	string_wipe_out
    	subcopy (other: [like Current] SEQ_STRING; start_pos, end_pos, index_pos: INTEGER_32)
    	to_lower
    	to_upper
    	wipe_out