cf
Data.
__sub__
The binary arithmetic operation -
-
x.__sub__(y) <==> x-y
cf.Data.__add__
cf.Data.__mul__