Library MetaRocq.PCUIC.PCUICLoader

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

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