(library
 (name paramcoq)
 (public_name coq-paramcoq.plugin)
 (synopsis "Plugin for generating parametricity statements to perform refinement proofs")
 (flags :standard -rectypes -w -9-27)
 (libraries coq-core.plugins.ltac))

(coq.pp (modules abstraction))
