Library MetaCoq.TemplatePCUIC.PCUICTemplateMonad
(* Distributed under the terms of the MIT license. *)
From MetaCoq.Template Require Export TemplateMonad.
From MetaCoq.TemplatePCUIC.PCUICTemplateMonad Require Export Core.
From MetaCoq.Template Require Export TemplateMonad.
From MetaCoq.TemplatePCUIC.PCUICTemplateMonad Require Export Core.