val include_dirs : Dune_site.Private_.Helpers.Location.t list Stdlib.refval source_paths : string list Stdlib.refval burn_csm : bool Stdlib.refval hide_genv : bool Stdlib.refval warnings : bool Stdlib.refval hide_undef : bool Stdlib.refval hide_mult_def : bool Stdlib.refval verbose_compcert : bool Stdlib.refval pp_full_tree : bool Stdlib.refval allocated_functions : bool Stdlib.refval alloc_can_fail : bool Stdlib.refval cbmc : bool Stdlib.ref