Search code examples
setcoq

Coq: what is the difference between an FSet and an MSet?


The documentation for FSets and MSets suggests that they are very similar constructions. How do they differ at all?


Solution

  • According to the library description, MSets is "a modernization of FSets" which is kept around, I suspect, for backwards compatibility.