Up
–
coq-core
»
Extraction_plugin
» Scheme
Module
Extraction_plugin.Scheme
val
scheme_descr :
Miniml.language_descr