Ccompile
val compile_file : Coqargs.t -> Stm.AsyncOpts.stm_opt -> Coqcargs.t -> Coqargs.injection_command list -> unit
compile_file opts compile file specified in opts
compile_file opts
opts