Goose  Diff

            {}

            const auto& rules() const { return m_rules; }

        private:
            ptr< UnificationRuleSet >                   m_rules;
            immer::vector< Term >                       m_values;
            ptr< unordered_map< StringId, size_t > >    m_variables;
            ptr< unordered_map< Hole::Name, size_t > >  m_holes;

            size_t                                      m_dependencyUpdateCount = 1024;
    };
}

#endif