Module Config_compcert.Warnings

val options : (Compcert.Commandline.pattern * Compcert.Commandline.action) list
val find_unit_cmd : Stdlib.String.t -> (Compcert.Commandline.pattern * Compcert.Commandline.action) list -> unit -> unit
val wnothing : unit -> unit
val silence_preprocessor : unit -> unit
val silence_all : unit -> unit
val as_error : unit -> unit