Library Containers.Generate
Require
Export
Containers.OrderedType
Containers.Tactics
.
Declare
ML
Module
"containers_plugin".