[m-dev.] for review: bintree_set.m -- opening type declaration

[Ralph Becket]

doug.auclair at logicaltypes.com, Wednesday, 15 February 2006:
> I have opened the type(-equivalence) declaration of bintree_set.  Same
> reasons as for bintree.

I'm this patch has the same problems as the last one: data structure
invariants have to be enforced by the implementation, and therefore
the exported type has to be abstract.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------