string-length

string-length : (string -> nat)

purpose:
to determine the length of a string


Intermediate Student Language


Google