Module Clflags.Dwarf_config_defaults
val shape_reduce_depth : int optionval shape_eval_depth : int optionval max_cms_files_per_unit : int optionval max_cms_files_per_variable : int optionval max_type_to_shape_depth : int optionval max_shape_reduce_steps_per_variable : int optionval max_evaluation_steps_per_variable : int optionval shape_reduce_fuel : int option