package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

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