Comparable_intf
.
Infix