[#9BA3F0699169A2ABEFE19925B9BE45C03E2430D5]
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.