Compute the length of a string
Integer_Type strlen (String_Type a)
The strlen function may be used to compute the length of a string.
After execution of
variable len = strlen ("hello");
len will have a value of 5.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}