Pure's interface to C++ vectors, specialized to hold pointers to arbitrary Pure expressions, and the C++ Standard Template Library algorithms that act on them. WWW: https://puredocs.bitbucket.io/pure-readline.html