gpt4 book ai didi

set - Coq:FSet 和 MSet 有什么区别?

转载 作者:行者123 更新时间:2023-12-04 19:16:22 25 4
gpt4 key购买 nike

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

最佳答案

根据library说明, MSets是“FSets 的现代化”,我怀疑是为了向后兼容而保留的。

关于set - Coq:FSet 和 MSet 有什么区别?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/44793211/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com