OVERLINED top-level constant

int const OVERLINED

Overlined.

See also NOT_OVERLINED.

Implementation

const int OVERLINED = 53;