(library
 (name interp)
 (synopsis "Coq's Syntactic Interpretation for AST [notations, implicits]")
 (public_name coq.interp)
 (wrapped false)
 (libraries pretyping))