[m-rev.] for post-commit review: announce fatter_sparse_bitset.m

[Peter Wang]

On Fri, 03 Feb 2023 20:49:10 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> 
> 2023-02-03 20:46 GMT+11:00 "Peter Wang" <novalazy at gmail.com>:
> >> +* This new module defines a more compact version of the data structure
> >> +  defined by the `fat_sparse_bitset`module, and implements the set of
> >> +  operations on this data structure.
> > 
> > Missing space after the second backtick.
> 
> Thanks; fixed.
> 
> > Do we need both modules?
> 
> Long term, probably not. But we need experience comparing the two
> to help us decide which to keep.

Do you know of any code that uses fat_sparse_bitset? I couldn't find
any.

Peter