path: root/parsing/dune

(library
 (name parsing)
 (public_name coq-core.parsing)
 (wrapped false)
 (libraries coq-core.gramlib interp))

(coq.pp (modules g_prim g_constr))