21.6.3 strchr

The standard function strchr provides the following interface:

fun strchr = (string s, uint<8> c) int<32>: { … }

It returns the index of the first occurrence of the character c in the string s. If the character is not found in the string, this function returns the length of the string.