Skip to content

Defunctionalize the dune sexp decoder#12768

Merged
rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg:defunctionalize-dune-sexp
Dec 5, 2025
Merged

Defunctionalize the dune sexp decoder#12768
rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg:defunctionalize-dune-sexp

Commits

Commits on Dec 5, 2025