3 let remove_casts_in_annotations = true
4 let put_const_at_the_top_in_annotations = true
6 (** Less precise cost *)
7 let no_division_in_generated_variant = false
9 (** name of the behavior generated *)
10 let time_cost_behavior = "time_cost"
12 (** name of the behavior generated *)
13 let stack_cost_behavior = "stack_cost"