OP_PR_DEF_AXIOM constant

int const OP_PR_DEF_AXIOM

Implementation

static const int OP_PR_DEF_AXIOM = 1308;