elpi-command-template.elpi

/* Loaded when Elpi Command is used                                          */
/* license: GNU Lesser General Public License Version 2.1 or later           */
/* ------------------------------------------------------------------------- */

accumulate elpi_elpi/coq-lib.  % basic term manipulation routines
accumulate elpi_elpi/elpi-reduction.    % whd, hd-beta, ...
accumulate elpi_elpi/elpi-ltac.         % refine, or, thenl, ...