Coq：FSet 和 MSet 有什么区别？

Question

FSets and MSets 的文档表明它们是非常相似的结构。它们有何不同？

Answer 1

根据 library 的描述，MSets 是 "a modernization of FSets"，我怀疑这是为了向后兼容而保留的。