Module `Config_compcert.Optimisations`

val options : bool Stdlib.ref list

val disable_all : unit -> unit