Up – Package index » coq-core » Library coq-core.toplevel » Ccompile

Module `Ccompile`Source

val compile_file : 
  Coqargs.t ->
  Stm.AsyncOpts.stm_opt ->
  Coqcargs.t ->
  Coqargs.injection_command list ->
  unit

compile_file opts compile file specified in opts