[m-dev.] any reason for no inst version_array(I)?

[Ondrej Bojar]

Hi,

is there any reason for

:- inst version_array(I) == bound(version_array(I)).

not to be in the module version_array?
Or is a version_array of higher order elements a bad idea?

Thanks, Ondrej.

-- 
Ondrej Bojar (mailto:obo at cuni.cz / bojar at ufal.mff.cuni.cz)
http://www.cuni.cz/~obo
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------