empty constant

Sort const empty

Implementation

static const Sort empty = _EmptySort();