Coq：FSet和MSet有什么区别？

Question

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

Answer 1

根据library说明，MSets是＆＃34; FSets＆＃34;的现代化我怀疑它是为了向后兼容而保留的。