Abstract type: Difference between revisions
Content added Content deleted
(Add Mercury) |
|||
Line 1,673: | Line 1,673: | ||
these features by default for all tpyes. |
these features by default for all tpyes. |
||
<lang Mercury>:- |
<lang Mercury>:- module eq. |
||
:- interface. |
|||
:- typeclass eq(T) where [ |
:- typeclass eq(T) where [ |