Skip to content

feature: make modes field an Ordered_set_lang instance#6611

Merged
rgrinberg merged 6 commits intoocaml:mainfrom anmonteiro:anmonteiro/modes-ordered-set-langFeb 21, 2023

Commits

Commits on Feb 21, 2023