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
+78-3
modes
field an Ordered_set_lang instance#6611