Library Containers.Sets
This file is a wrapper for the typeclass-based library
on finite sets. Importing it will include the stuff
necessary to start using sets in a development.
We export the existing instances of ordered types available,
the interface of sets and the facts from SetFacts. We also
open the scope of set notations.
Exporting interface and facts, for direct access
Require Export OrderedTypeEx.
Require Export SetInterface.
Require Export SetFacts.
Open Scope set_scope.
Require Export SetInterface.
Require Export SetFacts.
Open Scope set_scope.
Providing a short name to access other properties about sets