Closed mattam82 closed 1 month ago
This includes a new pass that should allow to have a single ffi package for regular ocaml extraction and verified extraction to malfunction in the future.
This includes a new pass that should allow to have a single ffi package for regular ocaml extraction and verified extraction to malfunction in the future.