Skip to content

OpaqueModule is not necessarily an error#732

Merged
jonludlam merged 2 commits intoocaml:masterfrom jonludlam:opaque-module-errorSep 23, 2021
+1-18

Commits

Commits on Sep 22, 2021

Commits on Sep 23, 2021