[keel,nostalgia] Add id() function to Keel modules

This commit is contained in:
2023-09-30 13:34:45 -05:00
parent 5cdf241321
commit 72346162a5
3 changed files with 14 additions and 2 deletions

View File

@ -27,6 +27,8 @@ class Module {
Module &operator=(Module&&) noexcept = delete;
constexpr virtual ~Module() noexcept = default;
[[nodiscard]]
virtual ox::String id() const noexcept = 0;
[[nodiscard]]
virtual ox::Vector<TypeDescGenerator> types() const noexcept;
[[nodiscard]]