QUANTIFIER_AST constant

int const QUANTIFIER_AST

Implementation

static const int QUANTIFIER_AST = 3;