Skip to content

Add arg_label to Otyp_arrow#1644

Merged
goldfirere merged 2 commits intoocaml-flambda:implicit-source-positionsfrom
vivianyyd:make-otyp_arrow-contain-arg_label
Jul 26, 2023

Commits

Commits on Jul 26, 2023