(** Parameters *)
let remove_casts_in_annotations = true
let put_const_at_the_top_in_annotations = true

(** Less precise cost *)
let no_division_in_generated_variant = false

(** name of the behavior generated *)
let time_cost_behavior = "time_cost"

(** name of the behavior generated *)
let stack_cost_behavior = "stack_cost"


(*** Debug flag ***)

let debug = ref false