let brackets_var_type_typ = function 
  | Cv x -> brackets_typ x.vtype
  | Lv lv ->  brackets_lv_typ lv.lv_type 
  | Prop -> 0