Considere que T1, T2 e T3 sejam tipos abstratos de dados...

T1 possui uma operação F que recebe um argumento do tipo T3; um objeto do tipo T2 é passado como argumento para a função F.

T1 possui uma operação F que recebe um argumento do tipo T2; um objeto do tipo T3 é passado como argumento para a função F.

T1 possui uma operação F que retorna um valor do tipo T2; o resultado retornado por uma chamada à função F é atribuído a variável do tipo T3.

T1 possui uma operação F que retorna um valor do tipo T1; o resultado retornado por uma chamada à função F é atribuído a variável do tipo T3.