All geek questions in one place

Coq: what is the difference between FSet and MSet?

The documentation for FSets and MSets suggests that they are very similar designs. How do they even differ?

+4
source share
1 answer

According to the library, the description MSetsis a “modernization FSets” that is supported, I suspect, for backward compatibility.

+4
source

Source: https://habr.com/ru/post/1680264/

More articles:


All Articles