dune-coq - Man Page

Command group related to Coq.

Synopsis

dune coq top FILE -- ARGS

Options

--help[=FMT] (default=auto)

Show this help in format FMT. The value FMT must be one of `auto', `pager', `groff' or `plain'. With `auto', the format is `pager` or `plain' whenever the TERM env var is `dumb' or undefined.

--version

Show version information.

Info

Dune n/a Dune Manual