21.6.4 strrchr

The standard function strrchr provides the following interface:

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

It returns the index of the last occurrence of the character c in the string s. If the character is not found in the string, this function returns -1.