Searched defs:proof_state (Results 1 – 1 of 1) sorted by relevance
233 struct proof_state : std::list<proof_goal> struct245 proof_state::proof_state () in proof_state() function in __anon26caefdf0111::proof_state