OP_PR_SKOLEMIZE constant

int const OP_PR_SKOLEMIZE

Implementation

static const int OP_PR_SKOLEMIZE = 1318;