Check always that default args are option#1807

Merged

voodoos merged 1 commit intoocaml:mainfrom xvw:1770-follow-up

Jul 29, 2024

+9-12

Commits on Jul 29, 2024

Check always that default args are option
xvw
committed