0
on success.
dune-coq1
Command group related to coq.
Usage
dune coq
top
FILE
--
ARGS
Commands
top[OPTION]… COQFILE [ARGS]…-
Execute a Coq toplevel with the local configuration.
Options
--help[=FMT] (default=auto)-
Show this help in format FMT. The value FMT must be one of
auto,pager,grofforplain. Withauto, the format ispagerorplainwhenever the TERM env var isdumbor undefined.
-
--version -
Show version information.
Exit status
dune coq exits with:
-
1 -
if an error happened.
-
130 -
if it was interrupted by a signal.