Library MetaCoq.SafeChecker.Loader

From MetaCoq.Template Require ExtractableLoader.

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