Comparable_intf
.
S_binable