This is a simple dune build which has 2 projects:
example-ocaml- simple pure OCaml libraryexample-coq- simple OCaml library extracted from Coq
In addition to Coq to OCaml extraction, it also demonstrates a workaround for long-standing Coq issue and until it is fixed could be used as a template for dune projects using Coq extraction.