Library MetaCoq.Template.ExtractableLoader


Declare ML Module "coq-metacoq-template-ocaml.plugin".