Searched defs:ProofState_NONE (Results 1 – 2 of 2) sorted by relevance
14 ProofState_NONE ProofState = 0 const
13 ProofState_NONE ProofState = 0 const