An arbitrary strict complete ordering, useful for, e.g., std::map.
#include <include/maliput/api/lane_data.h>