[mercury-users] type (class?) parameters

[Michael Day]

> No, it's not Haskell syntax.  The stuff after "tp2 nat" is a COMMENT.
> It answers the question "what do tp1 and tp2 stand for".

Ah, then I've been a moron. Sorry :)

Michael
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------