String matching: Difference between revisions
Content added Content deleted
Line 1,617: | Line 1,617: | ||
s endsWith: b |
s endsWith: b |
||
a indexOfSubCollection: b |
a indexOfSubCollection: b |
||
a indexOfSubCollection: b |
a indexOfSubCollection: b startingAt: pos</lang> |
||
=={{header|Standard ML}}== |
=={{header|Standard ML}}== |