Library MetaCoq.Erasure.Loader

Require Import String.
From MetaCoq.Template Require ExtractableLoader.

Declare ML Module "coq-metacoq-erasure.plugin".