ada - 配列内のインデックスを見つけるための式

Question

スペース文字である文字列内の最初の文字を見つけて、そのインデックスを返すにはどうすればよいContract_Casesですか?

たとえば、文字列が次の場合:

Input : constant String := "abc def";

式は を返す必要があり4ます。