La méthode bin est définie avec les types suivants:
Type de x A B
Type de y A A B
Résultat 1 1 2
La seule combinaison qui retourne 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).

Autrement, 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