Module `Ccompile`

val load_init_vernaculars : Coqargs.t -> state:Vernac.State.t -> Vernac.State.t: load_init_vernaculars opts ~state Load vernaculars from the init (rc) file

val compile_files : Coqargs.t -> Coqcargs.t -> unit: compile_files opts compile files specified in opts

val do_vio : Coqargs.t -> Coqcargs.t -> unit: do_vio opts process .vio files in opts