OP_PR_LEMMA_ADD constant

int const OP_PR_LEMMA_ADD

Implementation

static const int OP_PR_LEMMA_ADD = 1310;