Up – Package index » coq-core » Library coq-core.stm » Vio_checking

Module `Vio_checking`Source

Sourceval check_vio : (int list * string) -> bool

Sourceval schedule_vio_checking : int -> string list -> unit

Sourceval schedule_vio_compilation : int -> string list -> unit