We have an undocumented overload of `std::less` in IBAMR - this would make the situation clearer for using these pointers in `std::map`.
We have an undocumented overload of
std::lessin IBAMR - this would make the situation clearer for using these pointers instd::map.