#include std::ostream& operator<<(std::ostream& os, const OptionalBool& o) { os << o.to_string(); return os; }