(lang dune 1.0)
(name coin)
(version dev)
(using menhir 1.0)
