Module `Usage`

Prints the version number on the standard output and exits (with 0).

val version : int -> 'a
val machine_readable_version : int -> 'a
val add_to_usage : string -> string -> unit: Enable toploop plugins to insert some text in the usage message.

val print_usage_coqtop : unit -> unit: Prints the usage on the error output.

val print_usage_coqc : unit -> unit