Skip to content

fix(BV): Apply C-substitutions recursively#978

Merged
Halbaroth merged 1 commit intoOCamlPro:nextfrom bclement-ocp:bclement/bvsubrecNov 27, 2023

Commits

Commits on Nov 27, 2023