OP_PR_LEMMA constant

int const OP_PR_LEMMA

Implementation

static const int OP_PR_LEMMA = 1303;