pure-stllib is an "umbrella" package that contains a pair of Pure addons,
pure-stlvec and pure-stlmap. These addons provide Pure interfaces to a
selection of containers provided by the C++ Standard Library, specialized
to hold pointers to arbitrary Pure expressions.
Submitted by: Zhihao Yuan <firstname.lastname@example.org>
Approved by: wg (mentor)