Abstract type: Difference between revisions

m
(Add Mercury)
Line 1,673:
these features by default for all tpyes.
 
<lang Mercury>:- interfacemodule eq.
:- interface.
 
:- typeclass eq(T) where [
Anonymous user