PROOF_QUALITY top-level constant

int const PROOF_QUALITY

Implementation

const PROOF_QUALITY = 2;