Anonymous user
Abstract type: Difference between revisions
m
→{{header|Mercury}}
(Add Mercury) |
|||
Line 1,673:
these features by default for all tpyes.
<lang Mercury>:-
:- interface.
:- typeclass eq(T) where [
|