SYNOPSIS coqtop.byte [ options ] [ file ] DESCRIPTION coqopt.byte is the bytecode version of Coq. It should not be called directly, but only by coqtop and coqc
