Searched refs:m_der_decl (Results 1 – 4 of 4) sorted by relevance
729 m_der_decl(nullptr), in basic_decl_plugin()900 case PR_DER: return mk_proof_decl("der", k, 0, m_der_decl); in mk_proof_decl()1019 DEC_REF(m_der_decl); in finalize()
1142 func_decl * m_der_decl; variable
835 case PR_DER: return mk_proof_decl("der", k, 0, m_der_decl); in mk_proof_decl()954 DEC_REF(m_der_decl); in finalize()
1145 func_decl * m_der_decl = nullptr; variable