Library MetaRocq.PCUIC.PCUICLoader

From MetaRocq.Common Require Import Ast.CommonMonad.

Declare ML Module "rocq-metarocq-template.template_rocq".