Skip to content

OxCaml: support for kind abbreviations - #1467

Open
art-w wants to merge 2 commits into
ocaml:masterfrom
art-w:oxcaml-kind
Open

OxCaml: support for kind abbreviations#1467
art-w wants to merge 2 commits into
ocaml:masterfrom
art-w:oxcaml-kind