(lang dune 2.5)
(using coq 0.2)

(name coq-equations)

