Module Vio_compile
val do_vio : Coqargs.t -> Coqcargs.t -> Coqargs.injection_command list -> unitdo_vio optsprocess.viofiles inopts
Vio_compileval do_vio : Coqargs.t -> Coqcargs.t -> Coqargs.injection_command list -> unitdo_vio opts process .vio files in opts