Skip to content

Instantiate takes a resolved library#12849

Merged
rgrinberg merged 1 commit intoocaml:mainfrom
rgrinberg:instantiate-regular-lib
Dec 5, 2025
Merged

Instantiate takes a resolved library#12849
rgrinberg merged 1 commit intoocaml:mainfrom
rgrinberg:instantiate-regular-lib

Commits

Commits on Dec 5, 2025