(lang dune 3.11)
(name modal)
(using menhir 2.1)
(generate_opam_files true)
(formatting disabled)