(lang dune 2.7)
(name yices2_bindings)
