OP_PR_DISTRIBUTIVITY constant

int const OP_PR_DISTRIBUTIVITY

Implementation

static const int OP_PR_DISTRIBUTIVITY = 1292;