Cgil_lib.Config_compcert
val set_verbose_invocation : unit -> unit
module Features : sig ... end
module Warnings : sig ... end
module Optimisations : sig ... end
module Preprocessor : sig ... end
val references_to_ignore : string list