(************************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) (* bool val schedule_vio_checking : int -> string list -> unit val schedule_vio_compilation : int -> string list -> unit