-arg -w -arg +elpi.deprecated

-R theories elpi
-Q examples elpi.examples
-Q tests    elpi.tests
-Q src      elpi
-Q apps/derive/tests elpi.apps.derive.tests
-Q tests    elpi.tests
-Q elpi     elpi

# Derive
-R apps/derive/theories elpi.apps
-R apps/derive/tests    elpi.apps.derive.tests
-R apps/derive/examples elpi.apps.derive.examples

# NES
-R apps/NES/theories elpi.apps
-R apps/NES/elpi     elpi.apps.NES
-R apps/NES/tests    elpi.apps.NES.tests
-R apps/NES/examples elpi.apps.NES.examples

# Eltac
-R apps/eltac/theories elpi.apps.eltac
-R apps/eltac/tests    elpi.apps.eltac.tests
-R apps/eltac/examples elpi.apps.eltac.examples

# Coercion
-R apps/coercion/theories       elpi.apps.coercion
-R apps/coercion/tests          elpi.apps.tc.coercion
-I apps/coercion/src

# CS
-R apps/cs/theories       elpi.apps.cs
-R apps/cs/tests          elpi.apps.tc.cs
-I apps/cs/src

# Type classes
-R apps/tc/theories       elpi.apps.tc
-R apps/tc/tests          elpi.apps.tc.tests
-R apps/tc/elpi           elpi.apps.tc
-I apps/tc/src

# Coq-elpi 
theories/elpi.v
theories/wip/memoization.v

-I src

src/META.coq-elpi

src/coq_elpi_graph.mli
src/coq_elpi_graph.ml
src/coq_elpi_vernacular_syntax.mlg
src/coq_elpi_vernacular.ml
src/coq_elpi_vernacular.mli
src/coq_elpi_programs.ml
src/coq_elpi_programs.mli
src/coq_elpi_utils.mli
src/coq_elpi_utils.ml
src/coq_elpi_HOAS.ml
src/coq_elpi_HOAS.mli
src/coq_elpi_name_quotation.ml
src/coq_elpi_glob_quotation.ml
src/coq_elpi_glob_quotation.mli
src/coq_elpi_arg_HOAS.ml
src/coq_elpi_arg_HOAS.mli
src/coq_elpi_arg_syntax.mlg
src/coq_elpi_builtins_arg_HOAS.ml
src/coq_elpi_builtins_HOAS.ml
src/coq_elpi_builtins_synterp.ml
src/coq_elpi_builtins_synterp.mli
src/coq_elpi_builtins.ml
src/coq_elpi_builtins.mli
src/coq_elpi_config.ml

src/elpi_plugin.mlpack

