Up
–
rocq-runtime
»
Extraction_plugin
» Json
Module
Extraction_plugin.Json
val
json_descr :
Table.t
Miniml.language_descr