Searched defs:proof_post_order (Results 1 – 2 of 2) sorted by relevance
27 proof_post_order::proof_post_order(proof* root, ast_manager& manager) : m(manager) { in proof_post_order() function in proof_post_order