PROOF_QUALITY top-level constant

int const PROOF_QUALITY

Implementation

const int PROOF_QUALITY = 2;