The Coq mailing list

[Alan Schmitt <alan.schmitt AT polytechnique.org>]

Hello Pierre,

Pierre Letouzey writes:

> Indeed, I'm still planning to work someday on the inclusion of Containers
> (or a evolution of it) alongside MSets in the standard library. I hope to
> be able to share actual implementations (such as AVL) between the two,
> with the vision that Modular MSets would then be the static version of Class
> Sets (currently Containers). But my preliminary attempts of code sharing 
> ended
> up with some universe inconsistencies I still have to investigate.
> Anyway, since I started speaking of all this a few years ago, I won't dare
> giving a ETA, even an approximative one, sorry. 

Thanks for your reply. I'll look into alternative approaches for the
moment, then.

Best,

Alan