(lang dune 3.21)
(using rocq 0.11)
(package (name "global"))
