Method mk_external_string

src/api/api_context.cpp:213–216

    }
    
    const char * context::mk_external_string(std::string && str) {
        m_string_buffer = std::move(str);
        return m_string_buffer.c_str();
    }

    expr * context::mk_numeral_core(rational const & n, sort * s) {
        expr* e = nullptr;