Skip to content

Commit 288ed4b

Browse files
committed
Clearer descriptions in specs
1 parent 5251879 commit 288ed4b

File tree

1 file changed

+5
-9
lines changed

1 file changed

+5
-9
lines changed

doc/specs/stdlib_string_type.md

+5-9
Original file line numberDiff line numberDiff line change
@@ -165,7 +165,7 @@ end program demo
165165

166166
#### Description
167167

168-
Returns the length of the character sequence represented by the string.
168+
Returns the length of the string.
169169

170170
#### Syntax
171171

@@ -476,7 +476,7 @@ end program demo
476476

477477
#### Description
478478

479-
Return the character sequence represented by the string.
479+
Return the character at a certain position in the string.
480480

481481
#### Syntax
482482

@@ -523,7 +523,7 @@ end program demo
523523

524524
#### Description
525525

526-
Return the character sequence represented by the string.
526+
Return a substring from the character sequence of the string.
527527

528528
#### Syntax
529529

@@ -713,9 +713,7 @@ end program demo
713713

714714
#### Description
715715

716-
Scan a *string* for the presence of a *set* of characters. Scans a *string* for
717-
any of the characters in a *set* of characters.
718-
716+
Scans a *string* for the presence any of the characters in a *set* of characters.
719717
If *back* is either absent or *false*, this function returns the position
720718
of the leftmost character of *string* that is in *set*. If *back* is *true*,
721719
the rightmost position is returned. If no character of *set* is found in
@@ -770,9 +768,7 @@ end program demo
770768

771769
#### Description
772770

773-
Scan a *string* for the absence of a *set* of characters. Verifies that all
774-
the characters in *string* belong to the set of characters in *set*.
775-
771+
Verifies that all the characters in *string* belong to the set of characters in *set*.
776772
If *back* is either absent or *false*, this function returns the position
777773
of the leftmost character of *string* that is not in *set*. If *back* is *true*,
778774
the rightmost position is returned. If all characters of *string* are found

0 commit comments

Comments
 (0)