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