Repository navigation

Extract Rocq strings to OCaml strings - #571

Merged

xavierleroy merged 2 commits into

extract-strings

Feb 2, 2026

Merged

Extract Rocq strings to OCaml strings#571
xavierleroy merged 2 commits into
masterfrom
extract-strings

Commits on Feb 2, 2026
- Extract Rocq strings to OCaml strings instead of OCaml lists of characters
  xavierleroy
  committed
  12ab543
- Remove all uses of `camlstring_of_coqstring` and `coqstring_of_camlstring`
  xavierleroy
  committed
  eeb50c1