An empty type to be used as indicator of negative search result. More...
#include <basics.hpp>
An empty type to be used as indicator of negative search result.
Definition at line 1542 of file basics.hpp.