Up – coq-core » Extraction_plugin » Ocaml

Module `Extraction_plugin.Ocaml`

val ocaml_descr : Miniml.language_descr