(env
 (dev
  (flags (:standard -w -9 -w -32 -w -27 -w -6 -w -37 -warn-error -A))
  (coq (flags -w -register-all -w -notation-for-abbreviation -w +elpi.deprecated -w +elpi.implication-precedence -w -elpi.flex-clause -w +elpi.missing-types -bt))))
