Skip to content

Fix crash on functor returning an alias#1046

Merged
Julow merged 2 commits intoocaml:masterfrom
Julow:fix-crash-functor-alias
Dec 5, 2023
Merged

Fix crash on functor returning an alias#1046
Julow merged 2 commits intoocaml:masterfrom
Julow:fix-crash-functor-alias

Commits

Commits on Nov 27, 2023

Commits on Dec 5, 2023