Use the fact the std::vector<> already has a strict weak order defined for implementing a strict weak order over ProgramInfo instances for the purposes of caching.
Use the fact the std::vector<> already has a strict weak order defined
for implementing a strict weak order over ProgramInfo instances for the
purposes of caching.

mc-imperial/gvki,mc-imperial/gvki,giuliojiang/gvki,mc-imperial/gvki,giuliojiang/gvki,giuliojiang/gvki