Library MetaCoq.SafeChecker.Loader

(* Distributed under the terms of the MIT license. *)
From MetaCoq.Common Require ExtractableLoader.

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