Library TypedExtraction.Plugin.Loader

From Stdlib Require Extraction.
From MetaRocq.Template Require ExtractableLoader.

(* Declare ML Module "extraction_plugin". *)
(* Declare ML Module "rocq-metarocq-template-rocq.plugin". *)
Declare ML Module "rocq-typed-extraction.plugin".