bin est définie avec les types suivants:
| Type de x | A | B | |
| Type de y | A | A | B |
| Résultat | 1 | 1 | 2 |
2 est telle que l'objet x et
l'argument y soient tous les deux de type B donc de la classe
B, soit bb.bin(bb).x ou y est
(éventuellement coercé en une valeur)
de type A et le résultat retourné
est 1.
Soit finalement
| x \ y | aa | ab | bb |
| aa | 1 | 1 | 1 |
| ab | 1 | 1 | 1 |
| bb | 1 | 1 | 2 |