warnings

(warnings ...)

New in version 3.11.

Configure Dune warnings for the project.

(<name> <enabled | disabled>)

Enable or disable the warning <name> for the current project.