Up
–
rocq-runtime
»
Extraction_plugin
» Ocaml
Module
Extraction_plugin.Ocaml
val
ocaml_descr :
Common.State.t
Miniml.language_descr