logo标签列表

Coq：FSet和MSet之间有什么区别？

setcoq
4

FSets和MSets的文档表明它们是非常相似的结构。它们有什么不同之处吗？

1个回答
4
根据库的描述，MSets是“FSets的现代化”，由于向后兼容性的原因保留了FSets。
3
Refman包含更多信息："使FSets发展的原因是在原始实现中，计算和逻辑内容相当交织，导致某些情况下计算时间比预期长，这个问题在新的MSets实现中得到了解决。" - Anton Trunov
网页内容由stack overflow 提供, 点击上面的
可以查看英文原文，
原文链接