Library MetaCoq.PCUIC.PCUICLoader

From MetaCoq.Template Require Import Ast TemplateMonad.

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