1 2 3 4 5 6 7
(* $Id$ *) (* Prints the usage on the error output. *) val print_usage_coqtop : unit -> unit val print_usage_coqc : unit -> unit