0
on success.
dune-rocq1
Command group related to rocq.
Usage
dune rocq
top
FILE
--
ARGS
Commands
top[OPTION]… ROCQFILE [ARGS]…-
Execute a Rocq 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 rocq exits with:
-
1 -
if an error happened.
-
130 -
if it was interrupted by a signal.