-generate-meta-for-package coq-paramcoq
-R theories Param
-R src Param
-I src
src/debug.ml
src/parametricity.ml
src/relations.ml
src/declare_translation.ml
src/abstraction.mlg
src/paramcoq.mlpack
theories/Param.v
