Module Coqc

val main : unit -> unit