True if a value is present.
bool has_value = false;
The presence of a value is indicated by has_value == true. An empty value is distinct from no value.
has_value == true
