例えば「def func(a: int, b:str) -> value」と関数を記述したときにアノテーションに該当するものは「-> value」のみである。
正確ではありません。関数定義内のアノテーションは、引数と戻り値の両方に適用されます。したがって、提供された関数定義 def func(a: int, b: str) -> value では、引数 a には int 型のアノテーションが、引数 b には str 型のアノテーションが適用されています。また、関数の戻り値には value 型のアノテーションが適用されています。