Skip to content

Remove unnecessary usage of Ast_uncurried helpers#7987

Merged
cknitt merged 2 commits intomasterfrom
arity-cleanup
Oct 23, 2025
Merged

Remove unnecessary usage of Ast_uncurried helpers#7987
cknitt merged 2 commits intomasterfrom
arity-cleanup

Commits

Commits on Oct 23, 2025