aboutsummaryrefslogtreecommitdiff
path: root/unification.cc
AgeCommit message (Expand)Author
3 daysrust: model `Variant` discriminant as an optional memberSid Nayyar
2024-04-25rust: add `Variant` nodeSid Nayyar
2024-04-25rust: add `VariantMember` nodeSid Nayyar
2023-09-12make Methods be exclusively virtual methodsGiuliano Procida
2023-08-02model change to support C++ nullptrGiuliano Procida
2023-06-30unification: make Unify a member function of UnificationGiuliano Procida
2023-06-30Include "graph.h" wherever Graph is mentionedGiuliano Procida
2023-06-30Include <cstddef> wherever size_t is mentionedGiuliano Procida
2023-06-22unification: rename UnificationCache to UnificationGiuliano Procida
2023-06-22unification: split this functionality out of type resolutionGiuliano Procida