ROCQCHK(1)                  General Commands Manual                 ROCQCHK(1)

<?><?><?> (NAME)
       rocqchk - <?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?><?> Rocq

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       rocqchk [ options ] modules

<?><?><?><?><?><?><?> (DESCRIPTION)
       <?><?><?><?><?> rocqchk <?><?><?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?> (<?><?><?><?><?><?><?><?> .vo
       <?><?><?><?><?><?><?><?> <?><?><?><?> rocqcompile) <?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?> Rocq (Rocq
       Prover) <?><?><?>.  <?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?>
       <?><?> Reference Manual <?><?><?><?><?><?> <?><?><?><?>.  <?><?><?>
       <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?>
       <?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?>
       <?><?><?><?> <?> <?><?><?><?><?><?><?><?><?><?>.  <?><?>
       <?><?><?><?><?><?><?> <?><?><?> <?><?><?> <?><?> <?><?><?> <?><?><?><?>
       <?><?><?> <?><?> <?><?><?><?><?> <?><?><?> <?><?><?><?> <?><?><?>:
       <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?> <?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?> (type-checking)
       <?><?><?><?> <?><?><?><?><?><?> <?> <?><?><?><?>.

       <?><?><?><?><?><?><?> modules <?><?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?>.
       <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?> <?><?> <?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?> <?><?><?><?><?>
       <?><?><?><?> (qualified)<?> <?><?> <?><?> <?><?><?><?> <?><?><?>
       <?><?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?>.

<?><?><?><?><?><?><?><?> (OPTIONS)
       -I dir, --include dir
              <?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?> dir <?><?>
              <?><?><?><?> include.

       -Q dir rocqdir
              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>
              dir <?><?> <?><?><?><?> <?><?><?><?><?> rocqdir.

       -R dir rocqdir
              <?><?><?><?><?><?> <?><?> -Q.

       -silent
              <?><?><?><?> <?><?><?><?><?><?> <?><?> <?><?><?><?><?>.

       -admit module
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?> <?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> <?><?> <?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?>
              <?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?> <?><?><?> <?><?><?><?><?> <?><?><?><?><?><?>
              <?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?>.

       -norec module
              <?><?><?><?> <?><?><?><?><?><?> <?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?> <?><?><?>.

       -m, --memory
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
              <?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>.

       -o, --output-context
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?>
              <?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?><?><?><?>: <?><?><?><?><?><?>
              <?> <?><?><?><?><?><?><?> <?><?> impredicativity.

       -impredicative-set
              <?><?> <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?><?>
              <?><?> <?><?> <?><?> <?><?><?> <?><?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?>.

       -v     <?><?><?> <?><?><?><?><?><?> rocqchk <?> <?><?><?><?>.

       -coqlib dir
              <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?>.

       -where <?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?> rocqchk <?> <?><?><?><?>.

       -h, --help
              <?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?>.

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       rocq(1),

       The Rocq Reference Manual.

       <?><?><?><?><?><?><?> Rocq: http://coq.inria.fr

                                                                    ROCQCHK(1)