(Only the first 10 of 11 ports in this commit are shown above. )
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 <email@example.com>
Approved by: wg (mentor)