Library Coq.extraction.Extraction
Declare
ML
Module
"extraction_plugin".