Up – coq » Extraction_plugin » Json

Module `Extraction_plugin.Json`

val json_descr : Miniml.language_descr