INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES
Class
STRING
infix
"@"
infix
"+"
infix
"<"
adapt
append
append_boolean
append_character
append_double
append_integer
append_real
append_string
as_lower
as_upper
code_sequence
compare
copy
count
empty
extend
fill
fill_blank
fill_with
from_c
has
has_substring
hash_code
head
index_of
insert
insert_character
insert_string
is_boolean
is_double
is_empty
is_equal
is_integer
is_open
is_real
item
item_code
keep_head
keep_tail
left_adjust
make
make_empty
make_filled
make_from_string
mirror
mirrored
occurrences
out
precede
prepend
prune
prune_all
put
put_substring
remake
remove
remove_head
remove_substring
remove_tail
replace_substring
resize
right_adjust
same_as
same_string
set
string
substring
substring_index
tail
three_way_comparison
to_boolean
to_c
to_double
to_external
to_integer
to_lower
to_pointer
to_real
to_upper
valid_index
wipe_out
INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES