1 2 3 4 5 6
(lang dune 3.11) (name modal) (using menhir 2.1) (generate_opam_files true) (formatting disabled)