Protocol environment / Set: update to 4.06.1

This commit is contained in:
bruno 2018-06-19 17:13:13 +02:00 committed by Benjamin Canou
parent 12b6af10ee
commit 2af0cb6b75

View File

@ -22,7 +22,7 @@
reasonably efficient: insertion and membership take time
logarithmic in the size of the set, for instance.
The [Make] functor constructs implementations for any type, given a
The {!Make} functor constructs implementations for any type, given a
[compare] function.
For instance:
{[