[mercury-users] still The Tuple Construction (with functor)

[Ralph Becket]

:- type address == int.
:- type value == int.
:- type my_things ---> set_value(address, value) ; ...


	X = set_value(Address, Value)


If you want a *tuple* you'd write


	X = {Address, Value}


A tuple is an (essentially anonymous) vector of values.

- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------