Library RustExtraction.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-rust-extraction.plugin".