(lang dune 1.6)
(using coq 0.1)
(name ltac2)