
3 Feb
2004
3 Feb
'04
6:07 p.m.
I believe that a library named ``indexed_set,'' which has been proposed and is pending formal review, provides this functionality in addition to supporting multiple indices. -- Jeremy Maitin-Shepard