Augment documentation of extraction to C
commitc9c58c695fe39ba94f07872b60fc87eb7bbe2b8f
authorClaude Marche <Claude.Marche@inria.fr>
Fri, 13 Sep 2024 09:05:21 +0000 (13 11:05 +0200)
committerClaude Marche <Claude.Marche@inria.fr>
Fri, 13 Sep 2024 09:05:21 +0000 (13 11:05 +0200)
tree6a991b0f67d3e8339b533ff1278ba568025bb0f2
parent2e496ee0451272a18092876939ce9339a3dbaeae
Augment documentation of extraction to C
doc/exec.rst
examples/tests/c_extraction.mlw [new file with mode: 0644]
src/extract/c.ml