string-length
string-length : (string -> nat)
purpose:
to determine the length of a string
Intermediate Student Language