Library MetaRocq.ErasurePlugin.Loader

From Stdlib Require Import String.
From MetaRocq.Template Require ExtractableLoader.

Declare ML Module "rocq-metarocq-erasure.plugin".