Library MetaRocq.Template.ExtractableLoader

Declare ML Module "rocq-metarocq-template-ocaml.plugin".