How can I find the first character in a string that is the space character and return its index, with a single expression that can be used as part of Contract_Cases
?
For example, if the string is:
Input : constant String := "abc def";
then the expression should return 4
.