DUNE-ROCQ(1) Dune Manual DUNE-ROCQ(1)

# [NAME](#NAME)

dune-rocq - Command group related to Rocq.

# [SYNOPSIS](#SYNOPSIS)

**dune rocq top FILE -- ARGS**

# [COMMANDS](#COMMANDS)

[**top** \[*OPTION*\]… *ROCQFILE* \[*ARGS*\]…](#top)

Execute a Rocq toplevel with the local configuration.

# [COMMON OPTIONS](#COMMON_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.

# [EXIT STATUS](#EXIT_STATUS)

**dune rocq** exits with:

0

on success.

1

if an error happened.

130

if it was interrupted by a signal.

# [SEE ALSO](#SEE_ALSO)

[dune(1)](/man/os/ocaml-dune/dune.1)

Dune 3.24.2

---

Document: dune-rocq(1) from ocaml-dune 3.24.2-r2 (Chainguard OS)
Source: https://github.com/ocaml/dune