Searched defs:ProofLetCount (Results 1 – 2 of 2) sorted by relevance
29 class ProofLetCount; variable
46 ProofLetCount() in ProofLetCount() function52 ProofLetCount(unsigned i) in ProofLetCount() function57 ProofLetCount(const ProofLetCount& other) in ProofLetCount() function