Grande parte das regras que serão documentadas a seguir, fará se valer da estrutura da tabela-verdade seguinte.



A
B
C
D
F
H
I
J
L
N
O
U
A











B











C











D











F











H











I











J











L











N










(seleção)
O











U










(seleção)


Essa tabela-verdade combina o produto cartesiano entre os tipos nativos definidos na linguagem TLPP, conforme apresentado na seção Tipos Nativos.
Quando houver compatibilidade entre os tipos, haverá uma marcação com o símbolo (seleção), como ilustrado no cruzamento N x U ou U x U.
Não estando marcado, significará que há um erro de tipagem.




  • Sem rótulos