[m-rev.] diff: changes to rbtree module
Ralph Becket
rafe at cs.mu.OZ.AU
Thu Nov 11 19:35:23 AEDT 2004
Julien Fischer, Thursday, 11 November 2004:
>
> Estimated hours taken: 1
> Branches: main
>
> Update the interface of the red-black tree module
> and add some new higher-order predicates.
Looks good.
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list