Library MetaCoq.PCUIC.PCUICLoader

(* Distributed under the terms of the MIT license. *)
From MetaCoq.Common Require Import Ast.CommonMonad.

Declare ML Module "coq-metacoq-template.template_coq".