[mercury-users] Question about parameterise the types.

[Raymee Chau]

Hi,

Does anyone know if it is possible for me to use higher order programming
to parameterise the types in the higher levels of the module structure?
For example I would like to use type T for the arguments of higher level
predicates, so that the type for the arguments of lower level predicates
can be say list(int), list(bool) or something else.  Can this be done?
How?

Raymee

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