Library RustExtraction.Loader

From Coq Require Extraction.
From MetaCoq.Template Require ExtractableLoader.

(* Declare ML Module "extraction_plugin". *)
(* Declare ML Module "coq-metacoq-template-coq.plugin". *)
Declare ML Module "coq-rust-extraction.plugin".