UNINTERPRETED_SORT constant

int const UNINTERPRETED_SORT

Implementation

static const int UNINTERPRETED_SORT = 0;