#ifndef GENMC_RESULT_HANDLING_HPP
#define GENMC_RESULT_HANDLING_HPP

// CXX.rs generated headers:
#include "rust/cxx.h"

// GenMC headers:
#include "genmc/Verification/VerificationError.hpp"

#include <format>
#include <memory>
#include <sstream>
#include <string>

/** Information about an error, formatted as a string to avoid having to share an error enum and
 * printing functionality with the Rust side. */
static auto format_error(VerificationError err) -> std::unique_ptr<std::string> {
    std::stringstream s;
    s << std::format("{}", err);
    return std::make_unique<std::string>(s.str());
}

/** Standard overloaded-lambda helper for std::visit;
 * see https://en.cppreference.com/w/cpp/utility/variant/visit2.html. */
template <class... Ts> struct overloaded : Ts... {
    using Ts::operator()...;
};

#endif /* GENMC_RESULT_HANDLING_HPP */